[Checkers] Javac Bug Reports

[Michael Ernst]

Matt-

Thanks for figuring this out.  It's not a blocking problem for me, since I
can work around it.  I hope that Sun eventually makes the next release of
OpenJDK.

                    -Mike