Release 1.2.2 of the Checker Framework and Type Annotations compiler

[Werner Dietl]

We have released a new version of the Type Annotations (JSR 308) compiler and

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.

You can find documentation and download links for these projects at:

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

Changes for the Checker Framework

Version 1.2.2, 1 Oct 2011

Be less restrictive about when to start type processing when errors

already exist.

Add -AskipDefs command-line option to not type-check some class

definitions.

Documentation improvements.

Changes for the Type Annotations Compiler

Version 1.2.2, 1 Oct 2011

Be less restrictive about when to start type processing when errors

already exist.

Small documentation updates.