if (button.getFont().equals(JFaceResources.getDefaultFont())) button.setFont(JFaceResources.getDialogFont());
	public static int getButtonHeigthHint(Button button) {		PixelConverter converter= new PixelConverter(button);		return converter.convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);	}	