Changeset 13124 in josm

Timestamp:

2017-11-15T20:09:06+01:00 (7 years ago)

Author:

Don-vip

Message:

fix #15552 - fix parsing of decimal numbers

Location:

trunk

Files:

• src/org/openstreetmap/josm/tools/JosmDecimalFormatSymbolsProvider.java (modified) (2 diffs)
• test/unit/org/openstreetmap/josm/tools/JosmDecimalFormatSymbolsProviderTest.java (added)

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

@@ -2 +2 @@
 package org.openstreetmap.josm.tools;
 
-import java.text.DecimalFormat;
 import java.text.DecimalFormatSymbols;
-import java.text.NumberFormat;
 import java.text.spi.DecimalFormatSymbolsProvider;
 import java.util.Locale;
@@ -43 +41 @@
      */
     public static double parseDouble(String s) {
-        String text = s;
-        NumberFormat format = DecimalFormat.getInstance();
-        if (format instanceof DecimalFormat) {
-            char decimalSeparator = ((DecimalFormat) format).getDecimalFormatSymbols().getDecimalSeparator();
-            text = text.replace('.', decimalSeparator).replace(',', decimalSeparator);
-        }
-        return Double.parseDouble(text);
+        return Double.parseDouble(s.replace(',', '.'));
     }
 }