[JAVA-29516] Fix checker-framework in the context of migration to JDK 21 (#16465)

timis1 · timis1 · web-flow · commit 2858eb0844bb · 2024-04-23T08:09:57.000+02:00
Co-authored-by: timis1 &lt;noreplay@yahoo.com&gt;
diff --git a/checker-framework/pom.xml b/checker-framework/pom.xml
@@ -67,7 +67,7 @@
     </build>
 
     <properties>
-        <checker.version>3.35.0</checker.version>
+        <checker.version>3.42.0</checker.version>
     </properties>
 
 </project>
