private static final boolean REPORT_SAFE_METHOD_TARGETS = true;
private static final String METHOD = SystemProperties
.getProperty("fnd.method");
private static final String CLASS = SystemProperties
.getProperty("fnd.class");
<BUG>private BugReporter bugReporter;

private ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase;</BUG>
private boolean checkedDatabases = false;
private ClassContext classContext;

private static final boolean REPORT_SAFE_METHOD_TARGETS = true;
private static final String METHOD = SystemProperties
.getProperty("fnd.method");
private static final String CLASS = SystemProperties
.getProperty("fnd.class");
private final BugReporter bugReporter;
private final BugAccumulator bugAccumulator;
private ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase;
private boolean checkedDatabases = false;
private ClassContext classContext;
