docs: public static IPath getBugCollectionFile(IProject project) {
          // IPath path = project.getWorkingLocation(PLUGIN_ID); //
          // project-specific but not user-specific?
          IPath path = getDefault().getStateLocation(); // user-specific but not
          // project-specific
          return path.append(project.getName() + ".fbwarnings.xml");
      }