/src/main/java/net/finmath/swing/JNumberField.java
updateData ( ) ;
parseField(); updateData(); return value; } public void setValue(final double value) { this.value = value; <extra_id_0> } public void setFromat(final String format) { formatter = new DecimalFormat(format); updateData(); } public void setRange(final double lowerBound, final double upperBound) {