From 650b996bd557abfc0b457ac39f3a732c954329b7 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Wed, 5 Nov 2025 08:14:55 +0100
Subject: [PATCH] Upgrade to use Java 21

The upgrade concerns both the compilation and the CI.
---
 .github/workflows/ci.yml | 4 ++--
 pom.xml                  | 9 +++------
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 45c6f2ef..5c1e3bc4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,10 +10,10 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v5
-      - name: Set up JDK 17
+      - name: Set up JDK 21
         uses: actions/setup-java@v5
         with:
-          java-version: '17'
           distribution: 'temurin'
+          java-version: '21'
       - name: Compile, check, and run tests
         run: mvn verify assembly:single
diff --git a/pom.xml b/pom.xml
index 17b1484f..88fb5f66 100644
--- a/pom.xml
+++ b/pom.xml
@@ -12,8 +12,8 @@
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <maven.compiler.source>17</maven.compiler.source>
-        <maven.compiler.target>17</maven.compiler.target>
+        <maven.compiler.source>21</maven.compiler.source>
+        <maven.compiler.target>21</maven.compiler.target>
 
         <!-- Dependency versions appear alphabetically below -->
         <checker-qual.version>3.52.0</checker-qual.version>
@@ -105,11 +105,8 @@
                 <artifactId>maven-compiler-plugin</artifactId>
                 <version>${compiler-plugin.version}</version>
                 <configuration>
-                    <release>17</release>
+                    <release>21</release>
                     <showWarnings>true</showWarnings>
-                    <compilerArgs>
-                         <arg>--enable-preview</arg>
-                    </compilerArgs>
                 </configuration>
             </plugin>