public void widgetSelected (SelectionEvent e) { setWidgetIncrement (); };
public void widgetSelected (SelectionEvent event) { setWidgetPageIncrement (); }
			public void widgetSelected (SelectionEvent e) {						setWidgetIncrement ();			};