<BUG>public synchronized boolean METHOD_1 ( ) {</BUG> METHOD_2 ( ) ; return ! ( VAR_1 . isEmpty ( ) ) ; }
public boolean METHOD_1 ( ) { synchronized ( VAR_1 ) { METHOD_2 ( ) ; return ! ( VAR_1 . isEmpty ( ) ) ; } } 
