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