<BUG>public static TYPE_1 METHOD_1 ( java.io.File file ) {return TYPE_2 . METHOD_1 ( new TYPE_3 ( file ) , true , true ) ;</BUG> }
public TYPE_1 METHOD_1 ( java.io.File file ) { return METHOD_1 ( new TYPE_3 ( file ) , true , true ) ; } 
