public synchronized void METHOD_1 ( ) { <BUG> if ( this . METHOD_2 ( ) ) {</BUG> this . METHOD_3 ( ) ; <BUG> this . METHOD_4 ( ) ;}</BUG> }
public synchronized void METHOD_1 ( ) { this . METHOD_3 ( ) ; } 
