if (fViewMenuManager != null) fViewMenuManager.dispose();
	public void widgetDisposed(DisposeEvent event) {		if (fStatusTextFont != null && !fStatusTextFont.isDisposed())			fStatusTextFont.dispose();				fShell= null;		fTreeViewer= null;		fComposite= null;		fFilterText= null;		fStatusTextFont= null;	}