[Checkers] [JSR308] @Target(ElementType.TYPE_USE)

[Michael Ernst]

Mahmood-

> My understanding of the printMessage (and I might be wrong) is that we  
> added a printMessage to a Massager which is packaged within rt.jar.   
> When using the binary release, javac finds Massager in rt.jar before  
> the modified tools.jar, and then we get method not found error.

OK, I probably misunderstood the message.

> If we modify ElementType then we would need to need to either mutate  
> rt.jar or complicate the installation procedures.

I see.  I agree that mutating rt.jar would be the right way to go, if we
did this.  We can defer it.

                    -Mike