// .fbprefs
// so check if the file is there...
IFile file = getUserPreferencesFile(project);
boolean projectPropsEnabled = file.isAccessible();
if (projectPropsEnabled) {
ScopedPreferenceStore store = new ScopedPreferenceStore(new ProjectScope(project), PLUGIN_ID);
// so if the file is there, we can check if after 1.3.8 the flag is
// set
// to use workspace properties instead
projectPropsEnabled = !store.contains(FindBugsConstants.PROJECT_PROPS_DISABLED)
|| !store.getBoolean(FindBugsConstants.PROJECT_PROPS_DISABLED);
}
// remember in the session to speedup access, don't touch the store
setProjectSettingsEnabled(project, null, projectPropsEnabled);
return projectPropsEnabled;
}