Release 1.2.3 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.3, 1 Nov 2011

Regex Checker:

- Add @PolyRegex polymorphic annotation

- Add more stubs

Small bug fixes and documentation updates.

Implementation details:

- Do not use "null" for unqualified types. Explicitly use @Unqualified

  and be strict about correct usage. If this causes trouble for you,

  check your ImplicitFor and DefaultQualifierInHierarchy

  meta-annotations and ensure correct defaulting in your

  AnnotatedTypeFactory.

- Correctly handle f-bounded polymorphism. AnnotatedTypeMirror now has

  methods to query the "effective" annotations on a type, which

  handles type variable and wildcard bounds correctly. Also, terminate

  recursions by not doing lazy-initialization of bounds during defaulting.

Changes for the Type Annotations Compiler

Version 1.2.3, 1 Nov 2011

Small bug fixes and documentation updates.

Base build

  Updated to OpenJDK 8 langtools as of 31 Oct 2011.