} else {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_MISSING_ARGUMENT", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
<BUG>.addString(formatString)
.addString(e.formatSpecifier)
.addInt(e.pos+1)
.addInt(arguments.length).describe(IntAnnotation.INT_ACTUAL_ARGUMENTS)</BUG>
.addSourceLine(this)

} else {
bugReporter.reportBug(
new BugInstance(this, "VA_FORMAT_STRING_MISSING_ARGUMENT", HIGH_PRIORITY)
.addClassAndMethod(this)
.addCalledMethod(this)
.addString(formatString).describe(StringAnnotation.FORMAT_STRING_ROLE)
.addString(e.formatSpecifier).describe(StringAnnotation.FORMAT_SPECIFIER_ROLE)
.addInt(e.pos+1).describe(IntAnnotation.INT_EXPECTED_ARGUMENTS)
.addInt(arguments.length).describe(IntAnnotation.INT_ACTUAL_ARGUMENTS)
.addSourceLine(this)
