void () { super.dispose(); // double dispose via RunContentDescriptor and ContentImpl if (myHistoryViewer.isDisposed()) return; myConsoleExecutionEditor.getDocument().removeDocumentListener(myDocumentAdapter); myHistoryViewer.getDocument().removeDocumentListener(myDocumentAdapter); myHistoryViewer.putUserData(EXECUTION_EDITOR_KEY, null); EditorFactory editorFactory = EditorFactory.getInstance(); editorFactory.releaseEditor(myHistoryViewer); closeFile(); }