code: public void dispose()
  	{
  		DebugUITools.getDebugContextManager().getContextService(fPage.getSite().getWorkbenchWindow()).removeDebugContextListener(this);
  		DebugPlugin.getDefault().removeDebugEventListener(this);
  		// if (fRemoveTerminated != null) {
  		// fRemoveTerminated.dispose();
  		// fRemoveTerminated = null;
  		// }
  		// if (fRemoveAllTerminated != null) {
  		// fRemoveAllTerminated.dispose();
  		// fRemoveAllTerminated = null;
  		// }
  		if (fTerminate != null)
  		{
  			fTerminate.dispose();
  			fTerminate = null;
  		}
  		// if (fStdOut != null) {
  		// fStdOut.dispose();
  		// fStdOut = null;
  		// }
  		// if (fStdErr != null) {
  		// fStdErr.dispose();
  		// fStdErr = null;
  		// }
  		fConsole = null;
  	}
docs: /*
  (non-Javadoc)
  @see org.eclipse.ui.console.IConsolePageParticipant#dispose()