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