setOverrideSuper(isSelected);
setOmitSuper(isSelected);
				public void widgetSelected(SelectionEvent e) {					boolean isSelected= (((Button) e.widget).getSelection());					setOverrideSuper(isSelected);				}