[JSR308] New releases of the JSR 308 implementation and checkers

[Matt Papi]

We have released version 0.6 of the JSR 308 prototype implementation,
five type checkers for finding and preventing errors, and a framework
for writing your own checkers.


The JSR 308 prototype implementation is available at:
  http://groups.csail.mit.edu/pag/jsr308/releases/jsr308-langtools.zip

This release primarily fixes bugs in the JSR 308 Java compiler.


The type checkers we have built and the framework for writing your own
checkers are available at:
  http://groups.csail.mit.edu/pag/jsr308/releases/jsr308-checkers.zip

The checkers distribution contains five type checkers:
 * for null pointer errors
 * for equality testing (interning) errors
 * for mutability errors (incorrect side effects), based on IGJ
 * for mutability errors, based on Javari
 * for any type system with no special semantics, checking annotations
specified by the user on the command-line

This release includes enhancements and bug fixes in the framework and checkers.


Installation instructions, changelogs, and documentation are included
in the distributions and are also available on the web at:
  http://groups.csail.mit.edu/pag/jsr308/


- Matt