void () { if (myTree != null) { myTree.removeTreeSelectionListener(myTreeSelectionListener); EditorFactory.getInstance().releaseEditor(myCallerEditor); EditorFactory.getInstance().releaseEditor(myCalleeEditor); } super.dispose(); }