// disabled to be able to distinguish between default and current value
// store.setDefault(PROJECT_PROPS_DISABLED, true);
}
public static UserPreferences createDefaultUserPreferences() {
UserPreferences prefs = UserPreferences.createDefaultUserPreferences();
IPreferenceStore store = FindbugsPlugin.getDefault().getPreferenceStore();
String categoriesStr = store.getString(DISABLED_CATEGORIES);
Set<String> ids = decodeIds(categoriesStr);
for (String categoryId : ids) {
prefs.getFilterSettings().removeCategory(categoryId);
}
prefs.setRunAtFullBuild(false);
// Do not need, as per default the factory default is used if key is
// missing
// TODO later we can use custom workspace settings to disable detectors
// here