Revision: 6661
http://sourceforge.net/p/jump-pilot/code/6661
Author: michaudm
Date: 2020-12-27 22:29:19 +0000 (Sun, 27 Dec 2020)
Log Message:
-----------
Use english locale to format numbers
Modified Paths:
--------------
core/trunk/src/com/vividsolutions/jump/util/StringUtil.java
Modified: core/trunk/src/com/vividsolutions/jump/util/StringUtil.java
===================================================================
--- core/trunk/src/com/vividsolutions/jump/util/StringUtil.java 2020-12-24
12:47:53 UTC (rev 6660)
+++ core/trunk/src/com/vividsolutions/jump/util/StringUtil.java 2020-12-27
22:29:19 UTC (rev 6661)
@@ -35,10 +35,7 @@
import java.io.PrintStream;
import java.text.DecimalFormat;
import java.text.DecimalFormatSymbols;
-import java.util.ArrayList;
-import java.util.Collection;
-import java.util.List;
-import java.util.StringTokenizer;
+import java.util.*;
import com.vividsolutions.jts.util.Assert;
@@ -376,7 +373,7 @@
// set up a locale independent decimal formatter, using dot separator and
no grouping
static DecimalFormat allDecimals;
static {
- DecimalFormatSymbols symbols = new DecimalFormatSymbols();
+ DecimalFormatSymbols symbols = new
DecimalFormatSymbols(Locale.ENGLISH);
symbols.setDecimalSeparator('.');
allDecimals = new DecimalFormat("#0.0###########", symbols);
allDecimals.setGroupingUsed(false);
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
