#fixed code
                              @Override
  public void setMessageCompression(boolean enable) {
    throw new UnsupportedOperationException("setMessageCompression()");
  }
#vulnerable code 
                              @Override
  public void setMessageCompression(boolean enable) {
    call.setMessageCompression(enable);
  } 
                            #location 3 
                            #vulnerability type THREAD_SAFETY_VIOLATION