code: public void replaceAttribute(Attribute original, Attribute newAttribute) {
  		for (ListIterator<Attribute> it = attributes.listIterator(); it.hasNext(); )
  			if (it.next().equals(original)) {
  				it.set(newAttribute);
  				break;
  			}
  	}
docs: Replace an attribute.