void () { if (myEditor != null) { myEditor.disposeUIResources(); myTopPanel.remove(myEditor.getComponent()); myEditor = null; } if (myModifiableModel != null) { myModifiableModel.dispose(); myModifiableModel = null; } }