code: protected VdmContentOutlinePage createOutlinePage() {
  		// VdmContentOutlinePage page= new
  		// VdmContentOutlinePage(fOutlinerContextMenuId, this);
  		VdmContentOutlinePage page = new VdmContentOutlinePage(this);
  		setOutlinePageInput(page, getEditorInput());
  		page.addSelectionChangedListener(createOutlineSelectionChangedListener());
  		return page;
  	}
docs: Creates the outline page used with this editor.
  
  @return the created Java outline page