public synchronized void METHOD_1 ( ) throws TYPE_1 { <BUG> if ( ! ( VAR_1 ) ) {</BUG> METHOD_2 ( ) ; } }
public synchronized void METHOD_1 ( ) throws TYPE_1 { while ( ! ( VAR_1 ) ) { METHOD_2 ( ) ; } } 
