Changeset 19043 in josm for trunk/build.xml

Timestamp:

2024-04-18T23:20:21+02:00 (15 months ago)

Author:

stoecker

Message:

drop COMPAT locale provider

File:

• trunk/build.xml (modified) (1 diff)

trunk/build.xml

@@ -463 +463 @@
                         <jvmarg value="${jacocoagent@{testfamily}@{testITsuffix}}" if:set="jacocoagent@{testfamily}@{testITsuffix}" />
                         <jvmarg value="-Dfile.encoding=UTF-8"/>
-                        <jvmarg value="-Djava.locale.providers=SPI,JRE,CLDR" if:set="isJava9" />
+                        <jvmarg value="-Djava.locale.providers=SPI,CLDR" />
                         <jvmarg value="-Djava.security.manager=allow" if:set="isJava17" />
                         <jvmarg value="-javaagent:${test.dir}/lib/jmockit.jar"/>