Release 1.6.2 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 for the Checker Framework

Eclipse plugin:

  The "Additional compiler parameters" text field has now been replaced by a list.  Parameters in this list may be activated/deactivated via checkbox.

Eclipse plugin bug fixes:

   Classpaths and source files should now be correctly quoted when they contain spaces.

Internal framework improvements:

  Update pom files to use the same update-version code as the Checker Framework "web" ant task.  Remove pom specific update-version code.

  Update build ant tasks to avoid re-running targets when executing tests from the release script.

Changes for the Type Annotations Compiler

This email lists changes made to the IMPLEMENTATION.

For changes to the SPECIFICATION, see file jsr308-changes.html.

Base build

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

  as of 31 Mar 2013.