private void exitFindBugs() {
void exitFindBugs() {
	private void exitFindBugs() {		// TODO: offer to save work, etc.		UserPreferences.getUserPreferences().storeUserDetectorPreferences();		UserPreferences.getUserPreferences().setUserDetectorThreshold(priorityThreshold);		UserPreferences.getUserPreferences().write();		System.exit(0);	}