checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
Version4.2.2compared with

Version Details

No dependency changes compared to the selected version.