#vulnerable code 
                              public void stop() {
    goingDown = true;
  } 
                            #location 2 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                              public void stop() {
    stopping = true;
  }