code: public void removeAttribute (int index)
      {
      int origMax = getLength () - 1;
  
      super.removeAttribute (index);
      if (index != origMax) {
          System.arraycopy (declared, index + 1, declared, index,
              origMax - index);
          System.arraycopy (specified, index + 1, specified, index,
              origMax - index);
      }
      }
docs: javadoc entirely from superclass