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.6, 18 Mar 2012

Nullness Checker:
  Correctly handle unboxing in more contexts (if, switch (Issue 129),
    while loops, ...)

Regex Checker:
  Add capturing groups parameter to Regex qualifier.
    Count groups in String literals and String concatenation.
    Verify group number to method calls that take a capturing group
      number.
    Update RegexUtil methods to take optional groups parameter.
    Modify regex qualifier hierarchy to support groups parameter.
  Add special case for Pattern.compile when called with Pattern.LITERAL flag.

Internal bug fixes:
  Improve flow's support of annotations with parameters.
  Fix generics corner cases (Issues 131, 132, 133, 135).
  Support type annotations in annotations and type check annotations.
  Improve reflective look-up of visitors and factories.
  Small cleanups.

Changes for the Type Annotations Compiler

Version 1.2.6, 18 Mar 2012

Use the newly added multiple task listeners.

Base build
  Updated to OpenJDK 8 langtools as of 17 Mar 2012.