dispose();
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=120921			dispose();		}	}