void () { // The editor needs to be removed manually because it normally is removed by invokeLater, which may happen to late Editor editor = getEditor(); if (editor != null && !editor.isDisposed()) { EditorFactory.getInstance().releaseEditor(editor); } super.removeNotify(); }