docs: public static SortedBugCollection getBugCollection(IProject project, IProgressMonitor monitor)
              throws CoreException {
          SortedBugCollection bugCollection = (SortedBugCollection) project.getSessionProperty(SESSION_PROPERTY_BUG_COLLECTION);
          if (bugCollection == null) {
              try {
                  readBugCollectionAndProject(project, monitor);
                  bugCollection = (SortedBugCollection) project.getSessionProperty(SESSION_PROPERTY_BUG_COLLECTION);
              } catch (IOException e) {
                  FindbugsPlugin.getDefault().logException(e, "Could not read bug collection for project");
                  bugCollection = createDefaultEmptyBugCollection(project);
              } catch (DocumentException e) {
                  FindbugsPlugin.getDefault().logException(e, "Could not read bug collection for project");
                  bugCollection = createDefaultEmptyBugCollection(project);
              }
          }
          return bugCollection;
      }