Add an ID to the jdk9+ profile

PavlidisLab · Apr 30, 2024 · a634d21 · a634d21
1 parent 39100ec
commit a634d21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -414,6 +414,7 @@
             </distributionManagement>
         </profile>
         <profile>
+            <id>java9</id>
             <activation>
                 <jdk>(9,</jdk>
             </activation>