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