code: public void setSpecified (int index, boolean value)
      {
      if (index < 0 || index >= getLength ())
          throw new ArrayIndexOutOfBoundsException (
          "No attribute at index: " + index);
      specified [index] = value;
      }
docs: Assign a value to the "specified" flag of a specific attribute.
  This is the only way this flag can be cleared, except clearing
  by initialization with the copy constructor.
  
  @param index The index of the attribute (zero-based).
  @param value The desired flag value.
  @exception java.lang.ArrayIndexOutOfBoundsException When the
  supplied index does not identify an attribute.