GH-457 do not use thousands separator for port number

Author: thurka

visualvm/appui/src/org/graalvm/visualvm/modules/appui/options/NetworkOptionsPanel.java

@@ -304,7 +304,7 @@ protected void fireItemStateChanged(ItemEvent e) {
         manualSettingsPanel.add(httpProxyPortLabel, c);
 
         httpProxySpinnerModel = new SpinnerNumberModel(0, 0, 65535, 1);
-        httpProxyPortSpinner = new JExtendedSpinner(httpProxySpinnerModel);
+        httpProxyPortSpinner = createJSpinner(httpProxySpinnerModel);
         httpProxyPortLabel.setLabelFor(httpProxyPortSpinner);
         c = new GridBagConstraints();
         c.gridx = 3;
@@ -359,7 +359,7 @@ protected void fireItemStateChanged(ItemEvent e) {
         manualSettingsPanel.add(httpsProxyPortLabel, c);
 
         httpsProxySpinnerModel = new SpinnerNumberModel(0, 0, 65535, 1);
-        httpsProxyPortSpinner = new JExtendedSpinner(httpsProxySpinnerModel);
+        httpsProxyPortSpinner = createJSpinner(httpsProxySpinnerModel);
         httpsProxyPortLabel.setLabelFor(httpsProxyPortSpinner);
         c = new GridBagConstraints();
         c.gridx = 3;
@@ -402,7 +402,7 @@ protected void fireItemStateChanged(ItemEvent e) {
         manualSettingsPanel.add(socksProxyPortLabel, c);
 
         socksProxySpinnerModel = new SpinnerNumberModel(0, 0, 65535, 1);
-        socksProxyPortSpinner = new JExtendedSpinner(socksProxySpinnerModel);
+        socksProxyPortSpinner = createJSpinner(socksProxySpinnerModel);
         socksProxyPortLabel.setLabelFor(socksProxyPortSpinner);
         c = new GridBagConstraints();
         c.gridx = 3;
@@ -523,6 +523,13 @@ protected void fireItemStateChanged(ItemEvent e) {
         updateJSEngineNotifier(systemProxyRadio.isSelected());
     }
 
+    private JExtendedSpinner createJSpinner(SpinnerModel model) {
+        JExtendedSpinner spinner = new JExtendedSpinner(model);
+        JSpinner.NumberEditor seditor = (JSpinner.NumberEditor)spinner.getEditor();
+        seditor.getFormat().setGroupingUsed(false);
+        return spinner;
+    }
+
     private void initListeners() {
         manualProxyRadio.addChangeListener(new ChangeListener() {
             public void stateChanged(ChangeEvent e) {