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