code: public void init(IPageBookViewPage page, IConsole console)
  	{
  		fPage = page;
  		fConsole = (VdmDebugConsole) console;
  
  		// fRemoveTerminated = new ConsoleRemoveLaunchAction(fConsole.getProcess().getLaunch());
  		// fRemoveAllTerminated = new ConsoleRemoveAllTerminatedAction();
  		fTerminate = new ConsoleTerminateAction(page.getSite().getWorkbenchWindow(), fConsole);
  		// fStdOut = new ShowStandardOutAction();
  		// fStdErr = new ShowStandardErrorAction();
  
  		fView = (IConsoleView) fPage.getSite().getPage().findView(IConsoleConstants.ID_CONSOLE_VIEW);
  
  		DebugPlugin.getDefault().addDebugEventListener(this);
  		DebugUITools.getDebugContextManager().getContextService(fPage.getSite().getWorkbenchWindow()).addDebugContextListener(this);
  
  		// contribute to toolbar
  		IActionBars actionBars = fPage.getSite().getActionBars();
  		configureToolBar(actionBars.getToolBarManager());
  
  		// create handler and submissions for EOF
  		fEOFHandler = new EOFHandler();
  	}
docs: /*
  (non-Javadoc)
  @see org.eclipse.ui.console.IConsolePageParticipant#init(IPageBookViewPage, IConsole)