New Versions of Type Annotations Compiler and Checker Framework
Versions 1.1.0 of the Type Annotations (JSR 308) compiler and of the Checker Framework are now available.
The Type Annotations compiler supports the Java 7 annotation syntax. This version updates to OpenJDK langtools build b97. The Checker Framework allows developers to create and run pluggable type-checkers for detecting and preventing bugs in your code. This release introduces a new mechanism for running the Checkers, and adds one annotated JDK for all checkers.