/src/main/java/org/htmlunit/html/HtmlElement.java
listener.attributeReplaced( event) ;htmlPage.fireHtmlAttributeReplaced( event) ;
htmlPage.fireHtmlAttributeReplaced ( event ) ;
if (ATTRIBUTE_NOT_DEFINED == oldAttributeValue) { fireHtmlAttributeAdded(event); htmlPage.fireHtmlAttributeAdded(event); } else { fireHtmlAttributeReplaced(event); <extra_id_0> } } @Override public Attr setAttributeNode(final Attr attribute) { final String qualifiedName = attribute.getName(); final String oldAttributeValue = getAttribute(qualifiedName);