WIP: Always use US locale in JSpinner text field

Author: imagejan

src/main/java/org/scijava/ui/swing/widget/SwingNumberWidget.java

@@ -40,10 +40,12 @@
 import java.math.BigDecimal;
 import java.math.BigInteger;
 import java.text.DecimalFormat;
+import java.text.DecimalFormatSymbols;
 import java.text.ParsePosition;
 import java.util.Arrays;
 import java.util.Collections;
 import java.util.Hashtable;
+import java.util.Locale;
 
 import javax.swing.JComponent;
 import javax.swing.JLabel;
@@ -126,7 +128,10 @@ else if (model.isStyle(NumberWidget.SLIDER_STYLE)) {
 		if (format == null) {
 			format = suitableFormat(value, stepSize, min, max);
 		}
-		spinner.setEditor(new JSpinner.NumberEditor(spinner, format));
+		JSpinner.NumberEditor editor = new JSpinner.NumberEditor(spinner, format);
+		DecimalFormat decimalFormat = editor.getFormat();
+		decimalFormat.setDecimalFormatSymbols(new DecimalFormatSymbols(Locale.US));
+		spinner.setEditor(editor);
 
 		Dimension spinnerSize = spinner.getSize();
 		spinnerSize.width = 50;