From 240e768a28b5ecb3ae09650b45af0bd57ca8434b Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Mon, 11 May 2026 09:48:04 -0700
Subject: [PATCH] Use checker-qual 4.1.0

---
 .github/workflows/maven_tests.yml | 2 +-
 pom.xml                           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/maven_tests.yml b/.github/workflows/maven_tests.yml
index 1c6bd63dfd..1a91631042 100644
--- a/.github/workflows/maven_tests.yml
+++ b/.github/workflows/maven_tests.yml
@@ -35,7 +35,7 @@ jobs:
         ## Different JDK versions have different implementations etc. -- test on all combinations (ideally 8 to latest).
         ### exclude pre-8 (min development version jdk8)
         # typetools: Exclude 10 because of crashes in the compiler, exclude others because they aren't found or aren't LTS versions.
-        jdk: [ 8,11,17,18 ]
+        jdk: [ 17,18 ]
         # The below configurations are no longer available on github runners and is not supported by the 
         # setup-java action, nor are they available from the supported distributions.
         # See https://github.com/actions/setup-java for details
diff --git a/pom.xml b/pom.xml
index cc6354db81..35783911ff 100644
--- a/pom.xml
+++ b/pom.xml
@@ -440,7 +440,7 @@
 			<dependency>
 				<groupId>org.checkerframework</groupId>
 				<artifactId>checker-qual</artifactId>
-				<version>3.55.1</version>
+				<version>4.1.0</version>
 			</dependency>
             <dependency>
                 <groupId>org.hamcrest</groupId>