/src/main/java/net/finmath/swing/JNumberField.java
int index = getAdmissibleValueIndex(); if(index < 0) {  return ;}; index = java.lang.Math.max(0, java.lang.Math.min((index + increment),((admissibleValues.length) - 1))); value = admissibleValues[index];
if ( admissibleValues != null ) { int index = getAdmissibleValueIndex ( ) ; if ( index < 0 ) { return; }
this.preferedValueIncrement = preferedValueIncrement; } public void add(final double increment) { setValue(getDoubleValue() + increment); } public void addToAdmissibleValueIndex(final int increment) { <extra_id_0> index = Math.max(0,Math.min(index + increment, admissibleValues.length-1)); value = admissibleValues[index]; } else { add(increment * preferedValueIncrement); }