Changeset 16648 in josm

Timestamp:

2020-06-15T21:37:21+02:00 (5 years ago)

Author:

simon04

Message:

fix #19391 - Unable to set SPI locale provider: null

Location:

trunk

Files:

• build.xml (modified) (2 diffs)
• resources/META-INF (added)
• resources/META-INF/services (added)
• resources/META-INF/services/java.text.spi.DecimalFormatSymbolsProvider (added)

trunk/build.xml

@@ -106 +106 @@
     <target name="create-revision-eclipse">
         <antcall target="create-revision"/>
-        <mkdir dir="bin/META-INF/services"/>
-        <echo encoding="UTF-8" file="bin/META-INF/services/java.text.spi.DecimalFormatSymbolsProvider">org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider</echo>
     </target>
     <!--
@@ -190 +188 @@
                 <attribute name="Add-Opens" value="java.base/java.lang java.base/java.nio java.base/jdk.internal.loader java.base/jdk.internal.ref java.desktop/javax.imageio.spi java.desktop/javax.swing.text.html java.prefs/java.util.prefs" />
             </manifest>
-            <service type="java.text.spi.DecimalFormatSymbolsProvider" provider="org.openstreetmap.josm.tools.JosmDecimalFormatSymbolsProvider" />
         </jar>
     </target>