The Type Annotations (JSR 308) webpage is http://types.cs.washington.edu/jsr308/
Java 8 will include support for type annotations. The Type Annotations compiler (also called the JSR 308 compiler) is fully backward-compatible. You can use it in place of javac (for Java 8) without any change in behavior, except that you will be permitted to write annotations in comments. This lets you write type annotations, but keep your code compilable by Java 4/5/6/7 compilers.
This compiler is identical to the OpenJDK compiler, except that it gets bug fixes faster than the OpenJDK compiler, and it supports annotations in comments. The compiler is distributed standalone and also as part of the Checker Framework.
These details are provided for information only. No information here is legal advice and should not be used as such.