public DefaultBoundedRangeModel(int value, int extent, int minimum, int maximum)
public DefaultBoundedRangeModel()
  public DefaultBoundedRangeModel(int value, int extent, int minimum,                                  int maximum)  {    if (!(minimum <= value && extent >= 0 && (value + extent) <= maximum))      throw new IllegalArgumentException();    this.value = value;    this.extent = extent;    this.minimum = minimum;    this.maximum = maximum;    // The isAdjusting field already has a false value by default.  }