public String toString() { return null; }
public String toString() { return getClass().getName() + "[value=" + value + ", extent=" + extent + ", min=" + minimum + ", max=" + maximum + ", adj=" + isAdjusting + ']'; }
	public String toString() {		return null; // TODO	} // toString()