if (index != origMax) System.arraycopy (flags, index + 1, flags, index,
if (index != origMax) { System.arraycopy (declared, index + 1, declared, index, origMax - index); System.arraycopy (specified, index + 1, specified, index,
    public void removeAttribute (int index)    {	int origMax = getLength () - 1;	super.removeAttribute (index);	if (index != origMax)	    System.arraycopy (flags, index + 1, flags, index,		    origMax - index);    }