4.0.0 jar Checker Qual https://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.5.5 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/