docs: private static UserPreferences readUserPreferences(IProject project) throws CoreException {
          IFile userPrefsFile = getUserPreferencesFile(project);
          if (!userPrefsFile.exists()) {
              return null;
          }
          try {
              // force is preventing us for out-of-sync exception if file was
              // changed externally
              InputStream in = userPrefsFile.getContents(true);
              UserPreferences userPrefs = FindBugsPreferenceInitializer.createDefaultUserPreferences();
              userPrefs.read(in);
              return userPrefs;
          } catch (IOException e) {
              FindbugsPlugin.getDefault().logException(e, "Could not read user preferences for project");
              return null;
          }
      }