public void widgetSelected(SelectionEvent e) { restoreDefaultSettings();
public void widgetSelected(SelectionEvent event) { currentUserPreferences.setUserDetectorThreshold(minPriorityCombo.getText());
			public void widgetSelected(SelectionEvent e) {				restoreDefaultSettings();			}