4.0.0 jar Type Annotations Compiler https://checkerframework.org/jsr308/ The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations. org.checkerframework compiler GNU General Public License, version 2 (GPL2) http://www.gnu.org/licenses/gpl-2.0.html repo 2.4.0 https://bitbucket.org/typetools/jsr308-langtools/ https://bitbucket.org/typetools/jsr308-langtools/ Michael Ernst <mernst@cs.washington.edu> Michael Ernst mernst@cs.washington.edu http://homes.cs.washington.edu/~mernst/ University of Washington https://www.cs.washington.edu/ wmdietl Werner M. Dietl wdietl@uwaterloo.ca University of Waterloo http://uwaterloo.ca/ Suzanne Millstein <smillst@cs.washington.edu> Suzanne Millstein smillst@cs.washington.edu University of Washington PLSE Group https://www.cs.washington.edu/research/plse/