@Override
  public void dispose() {
    myModel.removeFilterListener(this);
    stopRunning(false);
    if (myDisposed) return;
    myDisposed = true;
    Disposer.dispose(myConsole);
    myConsole = null;
    myFilter.dispose();
    myFilter = null;
    myOriginalDocument = null;
  }
@Override
  public void dispose()