public synchronized void event ( ) { if ( ! ( VAR_1 ) ) { VAR_2 = true ; throw new TYPE_1 ( STRING_1 ) ; } VAR_1 = false ; } 

public synchronized void event ( ) { if ( ! ( VAR_1 ) ) { VAR_2 = true ; fail ( STRING_1 ) ; } VAR_1 = false ; } 
