public void setMaximum(int maximum) { this.maximum = maximum;  }
public void setMaximum(int maximum) { max = maximum; }
	public void setMaximum(int maximum) {		this.maximum = maximum;		// TODO	} // setMaximum()