Release 1.0.1 of JSR 308 javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 1.0.1 of the JSR 308 specification and
implementation and of the Checker Framework. You can always review
the latest version of the specification at:
http://groups.csail.mit.edu/pag/jsr308/specification/java-annotation-design.html
; and download the latest version of these tools
at:http://groups.csail.mit.edu/pag/jsr308/
.

The JSR 308 implementation is a backward-compatible extension to
javac. The Checker Framework makes it easy to write a tool that finds
or prevents errors; the tool is expressed as a type-checker for a
pluggable type system. The Checker Framework distribution includes
sample checkers.

This release includes many improvements to the checker framework,
namely support for adding new checkers for detecting regular
expression and internationalization errors, support for interpolating
with JCIP concurrency and Netbeans nullness annotations, and many bug
fixes.

The change-logs of the implementations appear below.

- Mahmood

---- Changelog for Checker Framework ----
Version 1.0.1, 1 Nov 2009

Checkers
Added new checkers:
RegEx checker to detect invalid regular expression use
Internationalization (I18n) checker to detect internationalization
errors

Functionality
Added more performance optimizations
nullness: Added support for netbeans nullness annotations
nullness: better semantics for redundant nullness tests
related to redundant tests in assertions
lock: Added support for JCIP annotation in Lock checker
tainting: Added support for polymorphism

Bug fixes
Fixed a crashing bug related to interaction between
generic types and wildcards
Fixed a bug in stub file parser related to vararg annotations
Fixed few bugs in skeleton file generators

Manual
Tweak installations instructions
Reference units checkers
Added new sections for new checkers
RegEx checker (S 10)
Internationalization checker (S 11)

---- Changelog for JSR 308 implementation ----
Version 1.0.1, 1 Nov 2009

Functionality
Added Compiler API support for JSR 308
Found in javax.lang.model.utils.Types

Base build
Updated to OpenJDK langtools build b75