[JSR308] JSR 308 prototype implementation and revised proposal

[Michael Ernst]

A new version of the JSR 308 design proposal has been posted:
  PDF: http://pag.csail.mit.edu/jsr308/java-annotation-design.pdf
  HTML: http://pag.csail.mit.edu/jsr308/java-annotation-design.html
Changes from the previous version appear, as always, at
  http://pag.csail.mit.edu/jsr308/changes.html

Three pieces of related software are available:
 * The prototype implementation:
    README file: http://pag.csail.mit.edu/jsr308/dist/README-jsr308.html
    Distribution: http://pag.csail.mit.edu/jsr308/releases/jsr308-compiler.zip
 * A compiler plug-in (checker) for the @NonNull annotation, and a
   framework for writing additional checkers:
    README file: http://pag.csail.mit.edu/jsr308/dist/README-checkers.html
    Distribution: http://pag.csail.mit.edu/jsr308/releases/jsr308-checkers.zip
 * Annotation file utilities for inserting/removing annotations in source/class
    README file: http://pag.csail.mit.edu/jsr308/annotation-file-utilities/
    Distribution: http://pag.csail.mit.edu/jsr308/annotation-file-utilities/annotation-file-utilities.jar

This software should enable you to begin experimenting with JSR 308, and to
get a feel for using the new annotations.  The software isn't perfect, but
we will improve it in response to comments (and, especially, patches!) from
members of this mailing list.

                    -Michael Ernst
                     mernst at csail.mit.edu