Fix DecimalFormat use in non-english locales.

Refs #420.

Author: mikekucera

EnrichmentMapPlugin/src/main/java/org/baderlab/csplugins/enrichmentmap/view/postanalysis/PAWeightPanel.java

@@ -12,6 +12,7 @@
 import java.awt.GridBagLayout;
 import java.awt.event.ActionListener;
 import java.text.DecimalFormat;
+import java.text.ParseException;
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Collections;
@@ -67,6 +68,9 @@ public class PAWeightPanel extends JPanel {
 
 	private static final double HYPERGOM_DEFAULT = 0.25;
 
+	private static final DecimalFormat DECIMAL_FORMAT = new DecimalFormat();
+	
+	
 	@Inject private IconManager iconManager;
 
 	private final EnrichmentMap map;
@@ -212,19 +216,18 @@ private JPanel createRankTestSelectPanel() {
 		JLabel cuttofLabel = new JLabel(LABEL_CUTOFF);
 		JLabel dataSetLabel = new JLabel("Data Set:");
 
-		DecimalFormat decFormat = new DecimalFormat();
-		decFormat.setParseIntegerOnly(false);
-		rankTestTextField = new JFormattedTextField(decFormat);
+		DECIMAL_FORMAT.setParseIntegerOnly(false);
+		rankTestTextField = new JFormattedTextField(DECIMAL_FORMAT);
 		rankTestTextField.setColumns(6);
 		rankTestTextField.setHorizontalAlignment(JTextField.RIGHT);
 		rankTestTextField.addPropertyChangeListener("value", e -> {
 			String text = rankTestTextField.getText();
 			try {
-				double val = Double.parseDouble(text);
+				double val = DECIMAL_FORMAT.parse(text).doubleValue();
 				PostAnalysisFilterType filterType = getFilterType();
 				savedFilterValues.put(filterType, val);
 				showWarning(filterType.isValid(val) ? null : filterType.getErrorMessage());
-			} catch(NumberFormatException ex) {
+			} catch(ParseException ex) {
 				showWarning("Not a number");
 			}
 
@@ -648,7 +651,13 @@ public FilterMetricSet getResults() {
 
 	public FilterMetric createFilterMetric(String datasetName) {
 		String text = rankTestTextField.getText();
-		double value = Double.parseDouble(text);
+		double value;
+		try {
+			value = DECIMAL_FORMAT.parse(text).doubleValue();
+		} catch (ParseException e) {
+			return null;
+		}
+		
 		PostAnalysisFilterType type = getFilterType();
 
 		switch(type) {

EnrichmentMapPlugin/src/main/java/org/baderlab/csplugins/enrichmentmap/view/util/SliderBarPanel.java

@@ -64,7 +64,6 @@
 import java.util.Iterator;
 import java.util.List;
 import java.util.Optional;
-import java.util.stream.IntStream;
 
 import javax.swing.GroupLayout;
 import javax.swing.GroupLayout.Alignment;
@@ -392,24 +391,21 @@ private void textFieldValueChanged() {
 	private static String getFormatPattern(double... numbers) {
 		StringBuilder sb = new StringBuilder("0.0"); // At least one decimal.
 		int p = precision(numbers);
-		
-		if (p > 0)
-			IntStream.range(0, p).forEach(v -> sb.append("#")); // Optional decimal digits
-		
+		for (int i = 0; i < p; i++) {
+			sb.append('#');
+		}
 		return sb.toString();
 	}
 
 	private static int precision(double... numbers) {
-		DecimalFormat df = new DecimalFormat("0.##############################");
 		int p = 0;
-		
 		for (double n : numbers) {
-			String text = df.format(n);
-			
-			if (text.indexOf('.') >= 0)
-				p = Math.max(p, text.substring(text.indexOf('.')).length() - 1);
+			String text = Double.toString(n);
+			int i = text.indexOf('.');
+			if (i >= 0) {
+				p = Math.max(p, text.substring(i).length() - 1);
+			}
 		}
-		
 		return p;
 	}
 }