This .jar file is a standin for either source/Javadoc for one of the
annotated JDKs bundled with the Checker Framework.  The annotated
JDKs contain source code annotations used in type checking by
the Checker Framework.

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

For information on annotated JDKs visit:
https://checkerframework.org/manual/#annotating-libraries
