[JSR308] JastAdd support for JSR 308

[Michael Ernst]

The JastAdd extensible compiler for Java (written by Torbjörn Ekman)
supports the JSR 308 syntax.  It includes, for example, an inference
tool and checker for @NonNull that you can find at
http://jastadd.org/jastadd-tutorial-examples/non-null-types-for-java

                    -Mike