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