4.0.0 jar Javacutil https://checkerframework.org Javacutil is a collection of utility classes for the javac compiler. org.checkerframework javacutil GNU General Public License, version 2 (GPL2), with the classpath exception http://www.gnu.org/software/classpath/license.html repo The MIT License http://opensource.org/licenses/MIT repo 2.1.14 https://github.com/typetools/checker-framework.git https://github.com/typetools/checker-framework.git 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/ David McArthur <mcarthur@cs.washington.edu< David McArthur mcarthur@cs.washington.edu University of Washington PLSE Group https://www.cs.washington.edu/research/plse/ Javier Thaine <jthaine@cs.washington.edu< David McArthur jthaine@cs.washington.edu University of Washington PLSE Group https://www.cs.washington.edu/research/plse/ Dan Brown <dbro@cs.washington.edu< Dan Brown dbro@cs.washington.edu University of Washington PLSE Group https://www.cs.washington.edu/research/plse/ jonathangburke@gmail.com Jonathan G. Burke jburke@cs.washington.edu University of Washington PLSE Group https://www.cs.washington.edu/research/plse/