} catch (ExtraFormatArgumentsException e) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_EXTRA_ARGUMENTS_PASSED", NORMAL_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
<BUG>.addString(formatString)
.addInt(e.used).describe(IntAnnotation.INT_EXPECTED_ARGUMENTS)</BUG>
.addInt(e.provided).describe(IntAnnotation.INT_ACTUAL_ARGUMENTS)
.addSourceLine(this)
);

} catch (ExtraFormatArgumentsException e) {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_EXTRA_ARGUMENTS_PASSED", NORMAL_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
.addString(formatString).describe(StringAnnotation.FORMAT_STRING_ROLE)
.addInt(e.used).describe(IntAnnotation.INT_EXPECTED_ARGUMENTS)
.addInt(e.provided).describe(IntAnnotation.INT_ACTUAL_ARGUMENTS)
.addSourceLine(this)
);
