attributes.put(FindBugsMarker.UNIQUE_ID, uniqueId);
}
// Set unique id of the plugin, so we can easily refer back
// to it later: for example, when the user group markers by plugin.
DetectorFactory detectorFactory = mp.bug.getDetectorFactory();
if(detectorFactory != null) {
String pluginId = detectorFactory.getPlugin().getPluginId();
if (pluginId != null) {
attributes.put(FindBugsMarker.DETECTOR_PLUGIN_ID, pluginId);
} else {
// XXX to avoid errors. Don't know what to do if the plugin is missing
attributes.put(FindBugsMarker.DETECTOR_PLUGIN_ID, "edu.umd.cs.findbugs.plugins.core");