[JSR308] Type annotations syntax support in OpenJDK javac

[Michael Ernst]

Remi-

> Are some checkers included or not ?

No, you need to download checkers separately (see
http://groups.csail.mit.edu/pag/jsr308/current/checkers-manual.html#installation).

The Java language does not constrain or suggest how type annotations
can be used.  Pluggable type-checking is only one such use, and the Checker
Framework is only one way to build pluggable type-checkers.

Once Java has a modularity mechanism (hopefully in Java 7), then one can
imagine Sun breaking the JDK into pieces.  Users would download a selection
of modules that is appropriate for them.  Maybe at that time, Sun will host
the Checker Framework as a useful external tool (not as a standardized and
official part of Java), to make it convenient for users to find and
download.

                    -Mike