public static TYPE_1 METHOD_1 ( java.io.File file ) { <BUG> if ( ( VAR_1 ) == null ) {synchronized ( VAR_2 class ) {</BUG> if ( ( VAR_1 ) == null ) { VAR_1 = new TYPE_1 ( file ) ; <BUG><BUG> }</BUG></BUG> } } return VAR_1 ; }
public static TYPE_1 METHOD_1 ( java.io.File file ) { if ( ( VAR_1 ) == null ) { VAR_1 = new TYPE_1 ( file ) ; } return VAR_1 ; } 
