Be explicit about Java 17.

io7m-com · May 7, 2024 · 80110c8 · 80110c8
1 parent 1e6784b
commit 80110c8
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -27,8 +27,14 @@
   </modules>
 
   <properties>
-    <com.io7m.xstructural.version>1.8.0</com.io7m.xstructural.version>
+    <!-- Configuration. -->
     <io7m.api.previousVersion>1.1.0</io7m.api.previousVersion>
+    <io7m.java.targetJavaVersion>17</io7m.java.targetJavaVersion>
+
+    <!-- io7m dependencies. -->
+    <com.io7m.xstructural.version>1.8.0</com.io7m.xstructural.version>
+
+    <!-- Third-party dependencies. -->
     <junit.version>5.10.2</junit.version>
     <jqwik.version>1.8.4</jqwik.version>
   </properties>