public void dispose() { getEditorPreferenceStore().removePropertyChangeListener(this); JFaceResources.getFontRegistry().removeListener(this); JFaceResources.getColorRegistry().removeListener(this); if (fSourceViewerDecorationSupport != null) { fSourceViewerDecorationSupport.dispose(); fSourceViewerDecorationSupport = null; } if (fActions != null) { fActions.clear(); fActions = null; } }