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

[Mahmood Ali]

We have released version 0.7.1 of the JSR 308 implementation and of  
the Checker Framework.  You can always 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 new instructions for using the checkers within  
Ant build files and Eclipse environment, includes new Eclipse plug-ins  
to use the checkers within Eclipse and to generate skeleton files from  
source, and includes many bug fixes and other enhancements.  The  
changelogs appear below.

    - Mahmood

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

Version 0.7.1, 20 June 2008

No changes in this release


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

Version 0.7.1, 20 June 2008

Nullness Checker
   Made NNEL the default qualifier scheme

Basic Checker
   Moved to its own checkers.basic package

Framework
   Enhanced type checking within qualifier-polymorphic method bodies
   Fixed a bug causing StackOverflowError when type-checking wildcards
   Fixed a bug causing a NullPointerException when type-checking
     compound assignments, in the form of +=

Class Skeleton Generator
   Distributed in compiled form (no more special installation  
instructions)
   Added required asmx.jar library to lib/

Manual
   Added new sections
     2.2.1 Ant tasks
     2.2.2 Eclipse plugin
     2.6   The effective qualifier on a type
   Rewrote section 8 on annotating libraries
     Added reference to the new Eclipse plug-in
     Deleted installation instructions

Javari Checker
   Fixed bugs causing a NullPointerException when type-checking
     primitive arrays

IGJ Checker
   Fixed bugs related to uses of raw types

API Changes
   Moved AnnotationFactory functionality to AnnotationUtils
   Removed .root and .inConflict from DAGQualifierHierarchy