if (style == SWT.RADIO) return;  for (int j= 0; j < flags.length; j++) { if (isFlag(flags[j])) return; } for (int j= 0; j < buttons.length; j++) { buttons[j].setEnabled(false); controlButton.setSelection(false); }
				public void widgetSelected(SelectionEvent e) {					boolean isSelected= ((Button)e.getSource()).getSelection();					setFlag(uiFlags[index], isSelected);				}