/src/main/java/net/finmath/swing/JNumberField.java
final int index = getAdmissibleValueIndex ( ) ;
} private void updateData() { if(value == null) { parseField(); } synchronized (updateLock) { <extra_id_0> if(index >= 0) { value = admissibleValues[index]; } value = new Double(Math.min(Math.max(lowerBound,value.doubleValue()),upperBound)); this.setText(formatter.format(value)); if(lowerBound != -Double.MAX_VALUE && upperBound != Double.MAX_VALUE) {