From ccafd793589e264da3d75a476dfe9365d5ade74e Mon Sep 17 00:00:00 2001
From: Mark Raynsford <code@io7m.com>
Date: Fri, 3 May 2024 18:26:23 +0000
Subject: [PATCH] Maintain JDK 17 compatibility.

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

diff --git a/pom.xml b/pom.xml
index 49812ef..07c9102 100644
--- a/pom.xml
+++ b/pom.xml
@@ -38,7 +38,7 @@
   <properties>
     <!-- Configuration. -->
     <io7m.api.previousVersion>4.0.0</io7m.api.previousVersion>
-    <io7m.java.targetJavaVersion>21</io7m.java.targetJavaVersion>
+    <io7m.java.targetJavaVersion>17</io7m.java.targetJavaVersion>
 
     <!-- io7m dependencies. -->
     <com.io7m.xstructural.version>1.8.0</com.io7m.xstructural.version>