This directory contains the Annotation Tools. Its main component is the Annotation File Utilities.
The Annotation File Utilities homepage and documentation is at
https://checkerframework.org/annotation-file-utilities/
and it also appears in this repository as
annotation-file-utilities/annotation-file-utilities.html .