/src/main/java/net/finmath/swing/JNumberField.java
super( ) ;updateData( ) ;
updateData ( ) ;
formatter = new DecimalFormat(format); this.addActionListener(this); setValue(0.0); } public Number getValue() { parseField(); <extra_id_0> return value; } public void setValue(final double value) { this.value = value; updateData(); }