void () { super.dispose(); SplitterProportionsData d = new SplitterProportionsDataImpl(); d.externalizeToDimensionService(getClass().getName()); d.saveSplitterProportions(mySplitter); if (myViewer != null) { EditorFactory.getInstance().releaseEditor(myViewer); myViewer = null; } }