/** * @see org.eclipse.ui.console.IOConsole#dispose() */ @Override protected void dispose() { super.dispose(); fColorProvider.disconnect(); closeStreams(); disposeStreams(); DebugPlugin.getDefault().removeDebugEventListener(this); DebugUIPlugin.getDefault().getPreferenceStore().removePropertyChangeListener(this); JFaceResources.getFontRegistry().removeListener(this); }