Checker Framework: 2.9.2 -> 2.10.0 (#1960)

Author: sebright2

build.gradle

@@ -252,7 +252,7 @@ subprojects {
 
     dependencies {
         if (useCheckerFramework) {
-            ext.checkerFrameworkVersion = '2.9.0'
+            ext.checkerFrameworkVersion = '2.10.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.