setColors ();
	void createExampleWidgets () {				/* Compute the widget style */		int style = SWT.NONE;		if (horizontalButton.getSelection ()) style |= SWT.HORIZONTAL;		if (verticalButton.getSelection ()) style |= SWT.VERTICAL;		if (borderButton.getSelection ()) style |= SWT.BORDER;			/* Create the example widgets */		scale1 = new Scale (scaleGroup, style);		scale1.setMaximum (100);		scale1.setSelection (50);		scale1.setIncrement (5);		scale1.setPageIncrement (10);		slider1 = new Slider(sliderGroup, style);		slider1.setMaximum (100);		slider1.setSelection (50);		slider1.setIncrement(5);		slider1.setPageIncrement (10);		slider1.setThumb (10);				/* Set the colors */		setColors ();	}