4.0.0 jar org.checkerframework checker-qual 3.6.1 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 The MIT License http://opensource.org/licenses/MIT repo https://github.com/typetools/checker-framework.git https://github.com/typetools/checker-framework.git mernst Michael Ernst mernst@cs.washington.edu https://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/ smillst Suzanne Millstein smillst@cs.washington.edu University of Washington https://www.cs.washington.edu/research/plse/