Release 1.3.0 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 Type Annotations Compiler

Version 1.3.0, 3 Jul 2012

Implements the current JSR 308 specification,
see file jsr308-changes.html for details:
- New receiver syntax
- Annotations on nested classes
- No annotations on class literals
- Changed @Target default to be the Java 1.5 values
- Bytecode changes (u2 instead of u1 for target type, renumbering,
  consistent storage of wildcards, ...)
- UW extension: in addition to annotations in comments, support
  special /*>>> */ comments to hide multiple tokens, e.g. useful
  for new receiver syntax

Base build
  Updated to OpenJDK 8 langtools as of 2 Jul 2012.

Changes for the Checker Framework
Version 1.3.0, 3 Jul 2012

Framework improvements:
  Adapt to annotation storage changes in jsr308-langtools 1.3.0.
  Move type validation methods from the BaseTypeChecker to BaseTypeVisitor.