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://types.cs.washington.edu/checker-framework/

