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

[Mahmood Ali]

We have released version 0.8.4 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 support for ElementType.TYPE_USE, and many bug
fixes to the compiler and the checker framework.

The changlogs of the specification and the implementations appear below.

    - Mahmood


---- Changelog for JSR 308 implementation ----
Version 0.8.4, 17 Dec 2008

Functionality
   Added support for TYPE_USE annotation target

Bug fixes
   javac rejects more some invalid type annotations
     - e.g annotations with missing or repeated member values
   javac and other programs properly handle filenames containing spaces

Testing
   Added compiler tests for jsr308 implementation

---- Changelog for Checker Framework ----

Version 0.8.4, 17 Dec 2008

Distribution
   Included checkers-quals.jar which contains the qualifiers only

Framework
   Fixed bugs related to inner classes
   Fixed a bug related to resolving polymorphic qualifiers
     within static methods

Manual
   Added 'Distributing your annotated project'