code: private DocumentComponent constructDocumentComponent(final PageComponent pageComponent) {
      	String id = pageComponent.getId();
  		String title = pageComponent.getDisplayName();
  		Icon icon = pageComponent.getIcon();
  		DocumentComponent document = new DocumentComponent(
  				pageComponent.getContext().getPane().getControl(), 
  				id, title, icon);
  		document.setTooltip(pageComponent.getDescription()); 
      	return document;
      }
docs: /*
  Actually constructs a Jide document component from the page component