<BUG>public TYPE_1 field ( java.lang.String name , java.io.File file , java.lang.String VAR_1 ) {return field ( name , file , true , VAR_1 ) ;</BUG> }
public TYPE_1 field ( java.lang.String name , java.io.File file ) { return field ( name , file , true , null , null ) ; } 
