We have released a new version of the Type Annotations (JSR 308) compiler,
the Checker Framework, and the Eclipse plugin for the Checker Framework.
* The Type Annotations compiler supports the type annotation syntax that is
planned for a future version of the Java language.
* The Checker Framework lets you create and/or run pluggable type-checkers,
in order to detect and prevent bugs in your code.
* The Eclipse plugin makes it more convenient to run the Checker Framework.
You can find documentation and download links for these projects at:
Changes to the Checker Framework
Fixes for Issues 210, 253, 280, 288.
Manual:
Improved discussion of checker guarantees.
Maven Plugin:
Added option useJavacOutput to display exact compiler output.
Eclipse Plugin:
Added the Format String Checker to the list of built-in checkers.
Changes to the Type Annotations Compiler
Base build
Updated to OpenJDK 9 dev/langtools and type-annotations/langtools as of 30 Jan 2014.