[Checkers] Javac Bug Reports

[Michael Ernst]

1. I have the ability to escalate bug reports that are important to us.  So
if there are any particularly important bugs, let me know.

2. On the topic of javac bug reports, the attached file indicates a javac
bug.  Just run
  javac TestIterator

I have not investigated whether this is a bug in our JSR 308 changes, or
already exists in the JDK 7 version.  Could one of you verify this and
either add a test submit to our test suite (and hopefully a fix!) or else
submit a bug report to Sun?

                     Thanks,

                    -Mike