Upgraded the code to checker framework version 1.8.0.
Added a dependency on the checker framework.
Added a patch to the checker framework.