if (fViewMenuManager != null) fViewMenuManager.dispose();
	public final void dispose() {		if (fShell != null && !fShell.isDisposed())			fShell.dispose();		else			widgetDisposed(null);				if (fViewMenuManager != null)			fViewMenuManager.dispose();	}