4.0.0 jar Checker Qual http://checkerframework.org Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker org.checkerframework checker-compat-qual 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.0.0 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/