This jar is a stand in for either source/javadoc for the annotations
used by the Checker Framework to type check source code.

For Checker Framework information visit:
http://checkerframework.org/

