[JSR308] Checkers in the future on different JDKs

[Michael Ernst]

Adam-

> Did you ever consider modifying a stand-alone java parser to parse the  
> new annotations and then using it as a backend for checkers?
> Then, you could just use jsr308 as a library, if you don't want or  
> can't to move to java 7.

As noted in my previous messages, you don't have to move to Java 7 to use
the checkers:  you can just use the JSR 308 compiler and the Checker
Framework when running the pluggable type checkers.

                    -Mike