#vulnerable code 
                              public boolean contains(String name) {
    if(name == null) {
      return false;
    }
    if(factory.exists(name)) {
      Marker other = factory.getMarker(name);
      return contains(other);     
    } else {
      return false;
    }
  } 
                            #location 7 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                              public boolean contains(String name) {
    throw new UnsupportedOperationException("This method has been deprecated.");
  }