public synchronized void METHOD_1 ( TYPE_1 VAR_1 ) { <BUG> if ( ( VAR_2 ) == null ) {synchronized ( this ) {</BUG> if ( ( VAR_2 ) == null ) VAR_2 = new TYPE_2 ( this ) ; <BUG><BUG> }</BUG></BUG> } VAR_2 . METHOD_1 ( VAR_1 ) ; }
public synchronized void METHOD_1 ( TYPE_1 VAR_1 ) { if ( ( VAR_2 ) == null ) VAR_2 = new TYPE_2 ( this ) ; VAR_2 . METHOD_1 ( VAR_1 ) ; } 
