docs: public static void saveCurrentBugCollection(IProject project, IProgressMonitor monitor) throws CoreException {
          if (isBugCollectionDirty(project)) {
              SortedBugCollection bugCollection = (SortedBugCollection) project.getSessionProperty(SESSION_PROPERTY_BUG_COLLECTION);
  
              if (bugCollection != null) {
                  writeBugCollection(project, bugCollection, monitor);
              }
          }
      }