public void setMaximumIntegerDigits(int newValue) { maximumIntegerDigits = Math.min(newValue, 309);
public void setMaximumIntegerDigits (int newValue) { super.setMaximumIntegerDigits(Math.min(newValue, 309));
	public void setMaximumIntegerDigits(int newValue) {		maximumIntegerDigits = Math.min(newValue, 309);	}