Changeset 12931 in josm for trunk/src/org/openstreetmap/josm/tools/Logging.java

Timestamp:

2017-10-07T13:31:45+02:00 (7 years ago)

Author:

Don-vip

Message:

see #14602 - Override digit group separator to be consistent across languages with ISO 80000-1 + checkstyle fixes

File:

• trunk/src/org/openstreetmap/josm/tools/Logging.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/Logging.java

@@ -52 +52 @@
 
     static {
+        // We need to be sure java.locale.providers system property is initialized by JOSM, not by JRE
+        // The call to ConsoleHandler constructor makes the JRE access this property by side effect
+        I18n.setupJavaLocaleProviders();
+
         LOGGER.setLevel(Level.ALL);
         LOGGER.setUseParentHandlers(false);