The plugin currently seems hard-coded to use version 2.4.0 of the Checker Framework. Many bugs have been fixed, and features added, since then.
Please provide a configuration setting that I can use in my build.gradle file to specify what version of the Checker Framework the plugin will use. (It would also be nice to change the default version to 2.6.0.)