Checker Framework: 2.7.0 -> 2.8.0 (#1836)

Author: sebright2

build.gradle

@@ -238,7 +238,7 @@ subprojects {
 
     dependencies {
         if (useCheckerFramework) {
-            ext.checkerFrameworkVersion = '2.7.0'
+            ext.checkerFrameworkVersion = '2.8.0'
 
             // 2.4.0 is the last version of the Checker Framework compiler that supports annotations
             // in comments, though it should continue to work with newer versions of the Checker Framework.