public Object getNextValue() { return new Double(spinner_.getRounder().nextUp(value_)); }
public Object getPreviousValue() { return new Double(spinner_.getRounder().nextDown(value_)); }