org.checkerframework:checker-compat-qual
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code.
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code.