docs: public static UserPreferences getProjectPreferences(IProject project, boolean forceRead) {
          try {
              UserPreferences prefs = (UserPreferences) project.getSessionProperty(SESSION_PROPERTY_USERPREFS);
              if (prefs == null || forceRead) {
                  prefs = readUserPreferences(project);
                  if (prefs == null) {
                      prefs = getWorkspacePreferences().clone();
                  }
                  project.setSessionProperty(SESSION_PROPERTY_USERPREFS, prefs);
              }
              return prefs;
          } catch (CoreException e) {
              FindbugsPlugin.getDefault().logException(e, "Error getting SpotBugs preferences for project");
              return getWorkspacePreferences().clone();
          }
      }