From b3027b90eb86810b502067c27640abc29de7b617 Mon Sep 17 00:00:00 2001
From: Michiel Meeuwissen <michiel.meeuwissen@gmail.com>
Date: Tue, 7 Nov 2023 15:34:05 +0100
Subject: [PATCH] Upped checkerframework

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 01bd4fd..fca337f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -44,7 +44,7 @@
     <slf4j.version>1.7.36</slf4j.version>
     <jackrabbit.version>2.21.20</jackrabbit.version>
     <lombok.version>1.18.30</lombok.version>
-    <checker.framework.version>3.39.0</checker.framework.version>
+    <checker.framework.version>3.40.0</checker.framework.version>
     <java.version>8</java.version>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
   </properties>