import java.util.Set;
import java.util.TreeSet;
import de.tobject.findbugs.marker.FindBugsMarker;
public final class FindBugsConstants {
private FindBugsConstants() {
<BUG>}
public final static String KEY_CUSTOM_DETECTORS = "customDetectors";</BUG>
public final static String PRIO_LOW_MARKER_SEVERITY = FindBugsMarker.NAME_LOW;
public final static String PRIO_NORMAL_MARKER_SEVERITY = FindBugsMarker.NAME_NORMAL;
public final static String PRIO_HIGH_MARKER_SEVERITY = FindBugsMarker.NAME_HIGH;

import java.util.Set;
import java.util.TreeSet;
import de.tobject.findbugs.marker.FindBugsMarker;
public final class FindBugsConstants {
private FindBugsConstants() {
}
public final static String KEY_SHORT_CLASSPATH = "useShortClasspath4EclipsePlugins";
public final static String KEY_CUSTOM_DETECTORS = "customDetectors";
public final static String PRIO_LOW_MARKER_SEVERITY = FindBugsMarker.NAME_LOW;
public final static String PRIO_NORMAL_MARKER_SEVERITY = FindBugsMarker.NAME_NORMAL;
public final static String PRIO_HIGH_MARKER_SEVERITY = FindBugsMarker.NAME_HIGH;
