public void METHOD_1 ( java.lang.String filename ) throws TYPE_1 { <BUG> METHOD_2 ( filename ) ;</BUG> TYPE_2 . delete ( filename ) ; }
public void METHOD_1 ( java.lang.String filename ) throws TYPE_1 { TYPE_2 . delete ( filename ) ; } 
