org.checkerframework:checker-qual7 (maven):  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 
Keywords: java|types|verification