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

[Mahmood Ali]

We have released version 0.7.8 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
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:
  - documentation improvements,
  - better support for anonymous classes,
  - framework API refactorings, and
  - many minor bug fixes.

The changlogs of the specification and the implementations appear below.

      - Mahmood

------------------ Changelog for JSR 308 specification   
-------------------
Changes to non-normative section:
   Slightly expand discussion of array syntax.
   Add examples of arrays with differing nullness annotations on  
different levels.
   Add a FAQ to the website that cross-references into the  
specification.
   Move discussion of JSR process into the specification document, to  
remove clutter from the webpage.

------------------ Changelog for JSR 308 implementation  
-------------------
Version 0.7.8, 12 Sep 2008

Bug fixes
   Better support for annotations on anonymous classes

Base build
   Updated to OpenJDK langtools build b35

--------------------- Changelog for Checker Framework  
---------------------
Version 0.7.8, 12 Sep 2009

Framework
   Improved support for anonymous classes
   Included refactorings to ease extensibility
   Fixed some minor bugs

Nullness
   Fix some errors in annotated JDK