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