[JSR308] Release 0.9.6 of javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 0.9.6 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: javadoc initial support for  
type annotations, better support for skipClasses, support for  
constructor type arguments (e.g. `new <@A String>  
GenericConstructor()`), and better rule checking for the Lock  
checker.  It also has some bug fixes, mainly for stub files and  
skeleton files.

The changlogs of the implementations appear below.

   - Mahmood

---- Changelog for Checker Framework ----
Version 0.9.6, 29 Jul 2009

Functionality
   Changed 'jsr308.skipClasses' property with '-AskipClasses' option
   Locking checker
     - Add subtype checking for Holding
     - Treat constructors as synchronized methods

Bug fixes
   Added some missing nullness annotations in the jdk
   Fixed some bugs related to reading stub files

Manual
   Added a new section
     2.10  Tips about writing annotations
   Updated sections of
     2.6   Unused fields and dependent types
     3.1.1 Rawness annotation hierarchy

---- Changelog for JSR 308 implementation ----
Version 0.9.6, 29 Jul 2009

Functionality
   Initial support for javadoc
   Support for type arguments of constructor calls

Bug fixes
   Fixed a javap crash when processing a class literal array annotation

Base build
   Updated to OpenJDK langtools build b66 (Milestone 4)