minus char is locale dependent

1 files changed, 3 insertions, 2 deletions

diff --git a/config/src/main/java/com/yahoo/vespa/config/util/ConfigUtils.java b/config/src/main/java/com/yahoo/vespa/config/util/ConfigUtils.java
index cac6cd0fed0..bd7aae3051a 100644
--- a/config/src/main/java/com/yahoo/vespa/config/util/ConfigUtils.java
+++ b/config/src/main/java/com/yahoo/vespa/config/util/ConfigUtils.java
@@ -15,6 +15,7 @@ import java.io.*;
 import java.security.MessageDigest;
 import java.security.NoSuchAlgorithmException;
 import java.text.DecimalFormat;
+import java.text.DecimalFormatSymbols;
 import java.util.*;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
@@ -28,9 +29,9 @@ public class ConfigUtils {
     private static final Pattern doublePattern = Pattern.compile(".*double.*range.*");
     private static final Pattern spaceBeforeCommaPatter = Pattern.compile("\\s,");
     public static final String intFormattedMax = new DecimalFormat("#.#").format(0x7fffffff);
-    public static final String intFormattedMin = new DecimalFormat("#.#").format(-0x80000000);
+    public static final String intFormattedMin = new DecimalFormat("#.#", new DecimalFormatSymbols(Locale.ENGLISH)).format(-0x80000000);
     public static final String doubleFormattedMax = new DecimalFormat("#.#").format(1e308);
-    public static final String doubleFormattedMin = new DecimalFormat("#.#").format(-1e308);
+    public static final String doubleFormattedMin = new DecimalFormat("#.#", new DecimalFormatSymbols(Locale.ENGLISH)).format(-1e308);
 
     /**
      * Computes Md5 hash of a list of strings. The only change to input lines before