public void setRangeProperties(int value, int extent, int min,
void setRangeProperties(int value, int extent, int min,
	public void setRangeProperties(int value, int extent, int min, 					int max, boolean adjusting);