public static synchronized void init ( TYPE_1 VAR_1 ) { <BUG> if ( ( VAR_2 ) != null ) {</BUG> VAR_2 = new TYPE_2 ( VAR_1 ) ; } }
public static synchronized void init ( TYPE_1 VAR_1 ) { if ( ( VAR_2 ) == null ) { VAR_2 = new TYPE_2 ( VAR_1 ) ; } } 
