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

[Mahmood Ali]

We have released version 0.8.5 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 bug fixes for the flow sensitivity analysis  
and annotations on type parameters.

The changlogs of the specification and the implementations appear below.

   - Mahmood


---- Changelog for JSR 308 implementation ----
Version 0.8.5, 17 Jan 2009

Base build
   Updated to OpenJDK langtools build b43

Functionality
   Enhanced support for annotations on type parameters

---- Changelog for Checker Framework ----
Version 0.8.5, 17 Jan 2009

Framework
   Fixed bugs related to flow sensitivity analysis
     Specifically related to boolean logic conditions
   Fixed bugs related to annotations on type parameters