[Checkers] Bridge Methods

[Michael Ernst]

Mahmood-

> 2. The bridge methods, in OpenJDK implementation, get generated in  
> code desugering in preparation for code generation.  Both phases occur  
> after type checking source.  So we never see them.

I agree with your analysis that they are not relevant to the Checker
Framework; thanks for pointing that out.

I believe that they are still to-do items for the JSR 308 compiler
implementation, so that the annotations appear in the class file.  Is that
correct?

                     Thanks,

                    -Mike