Changeset 19685 in josm for trunk/pom.xml

Timestamp:

2026-11-10T19:46:41+01:00 (less than one hour ago)

Author:

gaben

Message:

see #17858 - drop pre-Java 17 build conditions and Maven profiles

File:

• trunk/pom.xml (modified) (2 diffs)

trunk/pom.xml

@@ -571 +571 @@
                  after java-agents below already cached the JDK's default locale provider list. -->
             -Djava.locale.providers=SPI,CLDR
+            -javaagent:${com.ginsberg:junit5-system-exit:jar}
             -javaagent:${org.jmockit:jmockit:jar}
             --add-opens java.base/java.io=ALL-UNNAMED
@@ -868 +869 @@
     </plugins>
   </build>
-  <profiles>
-    <profile>
-      <id>java-17</id>
-      <activation>
-        <jdk>[17</jdk>
-      </activation>
-      <build>
-        <plugins>
-          <plugin>
-          <artifactId>maven-surefire-plugin</artifactId>
-            <configuration>
-              <!-- We might need @{argLine} in the future if another plugin has issues -->
-              <argLine>
-                @{argLine}
-                -Djava.locale.providers=SPI,CLDR
-                -javaagent:${com.ginsberg:junit5-system-exit:jar}
-                -javaagent:${org.jmockit:jmockit:jar}
-                --add-opens java.base/java.io=ALL-UNNAMED
-                --add-opens java.base/java.lang=ALL-UNNAMED
-                --add-opens java.base/java.nio=ALL-UNNAMED
-                --add-opens java.base/java.text=ALL-UNNAMED
-                --add-opens java.base/java.util=ALL-UNNAMED
-                --add-opens java.base/jdk.internal.loader=ALL-UNNAMED
-                --add-opens java.desktop/java.awt=ALL-UNNAMED
-                --add-opens java.prefs/java.util.prefs=ALL-UNNAMED
-              </argLine>
-            </configuration>
-          </plugin>
-        </plugins>
-      </build>
-    </profile>
-  </profiles>
 </project>