Release 1.7.4 of the Checker Framework and Type Annotations Compiler

[Jonathan Burke]

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:

http://types.cs.washington.edu/jsr308/

Changes to the Checker Framework

Error messages now display the error key that can be used in SuppressWarning annotations. Use -AshowSuppressWarningKeys to show additional keys.

Defaulted type qualifiers are now stored in the Element and written to the final bytecode.

Reduce special treatment of checkers.quals.Unqualified.

Fixes for Issues 240, 265, 281.

Changes to the Type Annotations Compiler

Base build
Updated to OpenJDK 9 dev/langtools and type-annotations/langtools as of 17 Feb 2014.