};
}
	void createSelectionGroup() {			/* Create the group */		Group selectionGroup = new Group(controlGroup, SWT.NONE);		selectionGroup.setLayout(new GridLayout());		GridData gridData = new GridData(GridData.FILL_HORIZONTAL);		selectionGroup.setLayoutData(gridData);		selectionGroup.setText(ControlExample.getResourceString("Selection"));			/* Create a scale widget */		selectionScale = new Scale (selectionGroup, SWT.NONE);		selectionScale.setMaximum (100);		selectionScale.setSelection (50);		selectionScale.setPageIncrement (10);		selectionScale.setIncrement (5);			GridData data = new GridData (GridData.FILL_HORIZONTAL);		data.widthHint = 100;		selectionScale.setLayoutData (data);		/* Add the listeners */		selectionScale.addSelectionListener(new SelectionAdapter() {			public void widgetSelected(SelectionEvent event) {				setWidgetSelection ();			};		});			}