name
7576777879808182838485
{ aName = aNames.nextElement(); value = attr.getAttribute(aName); if(value != null && !value.toString().equalsIgnoreCase(tag.toString())) { attr.removeAttribute(aName); } } attr.addAttributes(a); changes.end(); fireChangedUpdate(changes);