Rename profile, comment

garydgregory · garydgregory · commit 30c5b0b7a353 · 2026-01-07T08:11:51.000-05:00
diff --git a/pom.xml b/pom.xml
@@ -1731,8 +1731,8 @@
 	  </build>
     </profile>
     <profile>
-      <!-- Java 8, 9, 10 -->
-      <id>java-8-9-10</id>
+      <!-- Java 8-9 -->
+      <id>java-8-9</id>
       <activation>
 	    <jdk>[1.8,10]</jdk>
       </activation>
