docs: public static void removeMarkers(IResource res) throws CoreException {
          // remove any markers added by our builder
          // This triggers resource update on IResourceChangeListener's
          // (BugTreeView)
          res.deleteMarkers(FindBugsMarker.NAME, true, IResource.DEPTH_INFINITE);
          if (res instanceof IProject) {
              IProject project = (IProject) res;
              FindbugsPlugin.clearBugCollection(project);
          }
      }