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