pageHeader.dispose();
if (pageHeader != null && !pageHeader.isDisposed()) { separator1.dispose(); separator2.dispose(); pageHeader.dispose(); }
	public void updateDisplay() {		if (headerBar != PreferenceLoader.loadBoolean("displayHeaderBar")) {			pageHeader.dispose();			headerBar = !headerBar;			createHeader( pageHeaderPlaceHolder, headerBar );		}		setLeftLabel(tabName);		setRightLabel("");		content.layout();	}