[JSR308] JavaOne 0.9.2 release of javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 0.9.2 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 improvement and some bug  
fixes to the checker framework.

The changelogs of the implementations appear below.

   - Mahmood

---- Changelog for JSR 308 implementation ----
Version 0.9.2, 2 Jun 2009

Base build
   Using	JavaOne	preview	build b59

---- Changelog for Checker Framework ----
Version 0.9.2, 2 Jun 2009

Functionality
   Added pre-liminary support for lazy initialization in nullness
     see LazyNonNull

Bug fixes
   Corrected method declarations in JDK skeleton files
     - bug resulted in a runtime error

Documentations
   Updated qualifier javadoc documentations
   Corrected a reference on passing qualifiers to javac