Swing GUI: replaced NumberFields with JFormattedTextFields