code: 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");
      }
docs: Get the file resource used to store findbugs warnings for a project.
  
  @param project
  the project
  @return the IPath to the file (which may not actually exist in the
  filesystem yet)