public void setMaximumIntegerDigits (int newValue)
public void setMaximumIntegerDigits (int digits)
  public void setMaximumIntegerDigits (int newValue)  {    maximumIntegerDigits = newValue;    if (getMinimumIntegerDigits () > maximumIntegerDigits)      setMinimumIntegerDigits (maximumIntegerDigits);  }