else  dispose();
else { saveDialogBounds(getShell()); getShell().setVisible(false); }
	public void setVisible(boolean visible) {		if (visible)			open();		else			// FIXME: workaround for https://bugs.eclipse.org/bugs/show_bug.cgi?id=115785			dispose();	}