public synchronized void METHOD_1 ( int value ) { VAR_1 = METHOD_2 ( value ) ; <BUG> METHOD_3 ( ) ;</BUG> }
public synchronized void METHOD_1 ( int value ) { if ( value != ( VAR_1 ) ) { VAR_1 = METHOD_2 ( value ) ; } } 
