Checker Framework: 2.8.2 -> 2.9.0 (#1948)

Author: sebright2

build.gradle

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