Release 1.6.5 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

User-visible framework improvements:

  Stub files now support static imports.

Maven plugin:

  Maven plugin will now issue a warning rather than quit when zero checkers are specified in a project's pom.xml.

Documentation:

  Improved the Maven plugin instructions in the Checker Framework manual.

  Added documentation for the -XDTA:noannotationsincomments compiler flag.

Internal framework improvements:

  Improved Maven-plugin developer documentation.

Changes to the Type Annotations Compiler

Functionality:

  Add -XDTA:noannotationsincomments option to turn off annotations

  in comments.

Base build

  Updated to OpenJDK 8 tl/langtools and type-annotations/langtools

  as of 30 Jun 2013.