From 2858eb0844bbc7701fef5cb8251a57ab784ba563 Mon Sep 17 00:00:00 2001
From: timis1 <12120641+timis1@users.noreply.github.com>
Date: Tue, 23 Apr 2024 09:09:57 +0300
Subject: [PATCH] [JAVA-29516] Fix checker-framework in the context of
 migration to JDK 21 (#16465)

Co-authored-by: timis1 <noreplay@yahoo.com>
---
 checker-framework/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/checker-framework/pom.xml b/checker-framework/pom.xml
index 4fbeb73631..19773f0546 100644
--- 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>
\ No newline at end of file