[JSR308] Release 0.9.9 of JSR 308 specification, javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 0.9.9 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 documentation improvements to the checker
framework manual, and improvements to checker framework handling
of stub files.

The changlogs of the specification and the implementations appear below.

   - Mahmood

---- Changelog for JSR308 specification ---
Changes to non-normative section:
   Expand discussion of subtyping/inheritance among annotations.
   Expand discussion of duplicate annotations at a location.
   Mention OpenJDK support for type annotations, since build M4.
   Update URLs to reflect that the JSR 308 webpages have moved.
   Clarify license terms.
Changes to FAQ:
   Move pluggable types questions into their own FAQ.

---- Changelog for Checker Framework ----
Version 0.9.9, 4 Sep 2009

Functionality
   Added more optional lint checks (cast:unsafe, all)
   Nullness Checker supports @SuppressWarnings 
("nullness:generic.argument"),
     for suppressing warnings related to misuse of generic type  
arguments.
     This was already supported and documented, but had not been  
mentioned
     in the changelog.

Bug fixes
   Fixed many bugs related to Stub files causing parser to ignore
     bodiless constructors
     annotated arrays annotations
     type parameter and wildcard bounds annotations

Manual
   Rewrote 'javac implementation survivor guide' (S 13.9)
   Restructured 'Using a checker' (S 2)
   Added 'Integration with external tools' (S 14)
   Added new questions to the FAQ (S 15)

---- Changelog for JSR 308 implementation ----
Version 0.9.9, 4 Sep 2009

Base build
   Updated to OpenJDK langtools build b71