The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.