Tools for reading annotations from, and inserting type annotations in, Java source and classfiles.

For downloads and documentation, please visit the homepage at http://types.cs.washington.edu/annotation-file-utilities/