[Checkers] Javac Bug Reports

Michael Ernst mernst at csail.mit.edu
Sun May 18 03:17:41 EDT 2008

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?



More information about the checkers mailing list