};
}
			public void widgetSelected(SelectionEvent event) {				if ((event.widget.getStyle() & SWT.RADIO) != 0) {					if (!((Button) event.widget).getSelection ()) return;				}				recreateExampleWidgets ();			};