Checker Qual Android is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code.
The checker-qual-android artifact is identical to the checker-qual
artifact, except that in checker-qual-android annotations have classfile
retention. The default Android Gradle plugin retains types annotated with
runtime annotations in the main dex, but strips out class-retention
annotations.
Please
see artifact:
org.checkerframework:checker