docs: public static void storeBugCollection(IProject project, final SortedBugCollection bugCollection, IProgressMonitor monitor)
              throws IOException, CoreException {
  
          // Store the bug collection and findbugs project in the session
          project.setSessionProperty(SESSION_PROPERTY_BUG_COLLECTION, bugCollection);
  
          if (bugCollection != null) {
              writeBugCollection(project, bugCollection, monitor);
          }
      }