public void execute ( TYPE_1 VAR_1 ) { VAR_2 . add ( VAR_1 ) ; <BUG> synchronized ( VAR_3 ) {</BUG> VAR_3 . METHOD_1 ( ) ; } }
public void execute ( TYPE_1 VAR_1 ) { synchronized ( VAR_3 ) { VAR_2 . add ( VAR_1 ) ; VAR_3 . METHOD_1 ( ) ; } } 
