code: protected void setOutlinePageInput(VdmContentOutlinePage page,
  			IEditorInput input) {
  		if (page == null)
  			return;
  
  		IVdmElement je = getInputVdmElement();
  		if (je != null && je.exists())
  			page.setInput(je);
  		else
  			page.setInput(null);
  
  	}
docs: Sets the input of the editor's outline page.
  
  @param page
  the Java outline page
  @param input
  the editor input