checker-qual-android 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.
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