docs: public void loadXml(String fileName) throws CoreException {
          if (fileName == null) {
              return;
          }
          st = new StopTimer();
  
          // clear markers
          clearMarkers(null);
  
          final Project findBugsProject = new Project();
          final Reporter bugReporter = new Reporter(javaProject, findBugsProject, monitor);
          bugReporter.setPriorityThreshold(userPrefs.getUserDetectorThreshold());
  
          reportFromXml(fileName, findBugsProject, bugReporter);
          // Merge new results into existing results.
          updateBugCollection(findBugsProject, bugReporter, false);
          monitor.done();
      }