void METHOD_1 ( ) { <BUG> synchronized ( this ) {this . VAR_1 = true ;</BUG> if ( ( this . state . get ( ) ) != ( VAR_2 ) ) { METHOD_2 ( this ) ; <BUG> }</BUG> } }
void METHOD_1 ( ) { this . VAR_1 . set ( true ) ; if ( ( this . state . get ( ) ) != ( VAR_2 ) ) { METHOD_2 ( this ) ; } } 
