@Override
  public void dispose() {
    synchronized (myLock) {
      myIsDisposed = true;
    }
    hideCoverage();
    myEditor = null;
    myDocument = null;
    myFile = null;
  }
@Override
  public void dispose()