};
}
	void createThumbGroup() {			/* Create the group */		Group thumbGroup = new Group (controlGroup, SWT.NONE);		thumbGroup.setLayout (new GridLayout ());		thumbGroup.setText (ControlExample.getResourceString("Thumb"));		thumbGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));				/* Create the scale widget */		thumbScale = new Scale (thumbGroup, SWT.NONE);		thumbScale.setMaximum (100);		thumbScale.setSelection (10);		thumbScale.setPageIncrement (10);		thumbScale.setIncrement (5);			GridData data = new GridData (GridData.FILL_HORIZONTAL);		data.widthHint = 100;		thumbScale.setLayoutData (data);		/* Add the listeners */		thumbScale.addSelectionListener (new SelectionAdapter () {			public void widgetSelected (SelectionEvent event) {				setWidgetThumb ();			};		});	}