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

[Mahmood Ali]

We have released version 0.8.7 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 annotations on type parameters,  
support for annotations on wildcards, and many bug fixes.  Also, the  
compiler passes all Sun's regression tests.

The changlogs of the specification and the implementations appear below.

   - Mahmood


---- Changelog for JSR 308 specification  ----

Changes to normative section:
   Add new enum constant ElementType.TYPE_PARAMETER, to represent  
declarations of type variables.
   Allow annotations on wildcard bounds.
Changes to non-normative section:
   Add more examples: performance annotions, local/remote...
   Improve explanation of meta-anotating with  
@Target(ElementType.TYPE_USE)

---- Changelog for JSR 308 implementation ----

Version 0.8.7, 27 Feb 2009

Functionality
   javac: support for ElementKind.TYPE_PARAMETER specification
   javac: emit annotations on local variables to classfile
   javac: support for annotations on wildcards

Testing
   javac: pass all regression tests
   javac: fix bugs related to invalid type annotations

Base build
   Updated to OpenJDK langtools build b49


---- Changelog for Checker Framework ----
Version 0.8.7, 27 Feb 2009

Framework
   Support annotations on type parameters
   Fixed bugs related to polymorphic types/annotations
   Fixed bugs related to stub fixes