[JSR308] Checkers in the future on different JDKs

[Michael Ernst]

Adam-

> You are correct:  A checker written using the Checker Framework currently
> only works as a plug-in to Sun's javac.  The checker does not work with
> other Java compilers that don't implement Sun's proprietary Tree API.

I should have also mentioned that if you are using a different compiler,
you can still run javac for performing pluggable type checking.  For
instance, the Checker Framework Manual gives an Ant target that you can
invoke from within Eclipse or other IDEs, or from the command line.

                    -Mike