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