[Checkers] error message throws exception

[Mahmood Ali]

Hi Mike,

> Also, please include in $anno/TODO.txt a reference to each bug  
> report that
> you submit.

We have submitted two bug reports earlier.  I will send this one maybe  
early next week, once I confirm the observation and create a  
minimalist annotation processor exposing the bug.

Maybe we should keep another file $anno/sun-bugs for the submitted  
bugs; and keep TODO.txt for our todos only.

Regards,
Mahmood