4.0.0 org.checkerframework checker-qual 3.9.1 Checker Qual checker-qual contains annotations (type qualifiers) used by the Checker Framework to type-check Java source code. It also contains utility classes for programmers to use at run time. Please see artifact: org.checkerframework:checker https://checkerframework.org The MIT License http://opensource.org/licenses/MIT repo mernst Michael Ernst mernst@cs.washington.edu https://homes.cs.washington.edu/~mernst/ University of Washington https://www.cs.washington.edu/ smillst Suzanne Millstein smillst@cs.washington.edu University of Washington https://www.cs.washington.edu/ scm:git:git://github.com/typetools/checker-framework.git scm:git:ssh://git@github.com/typetools/checker-framework.git https://github.com/typetools/checker-framework.git