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

[Matt Papi]

We have released version 0.5.1 of:
 * the JSR 308 prototype implementation
 * type checkers for finding and preventing errors, and a framework for 
writing your own checkers

For downloads and documentation, visit: 
http://groups.csail.mit.edu/pag/jsr308/
For more details, read on.


* Both distributions now include pre-compiled binaries, so it's even 
easier to get started with the tools. Installation instructions are 
available at: http://groups.csail.mit.edu/pag/jsr308/


* 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 implementation.


* The type checkers and framework are available at:
 http://groups.csail.mit.edu/pag/jsr308/releases/jsr308-checkers.zip

This release includes enhancements and bug fixes in the checkers and 
framework, and the distribution now includes five 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


As always, your comments and feedback are appreciated.

- Matt