<BUG>public synchronized void METHOD_1 ( ) {</BUG> while ( VAR_1 ) { METHOD_2 ( ) ; java.lang.Thread . METHOD_3 ( ) ; } }
private synchronized void METHOD_1 ( ) { while ( VAR_1 ) { METHOD_2 ( ) ; java.lang.Thread . METHOD_3 ( ) ; } } 
