/src/main/java/org/htmlunit/html/HtmlElement.java
final Attr result = super.setAttributeNode( attribute) ;final String value = getAttribute( attributeName) ;
final String value = getAttribute ( attributeName ) ;
final Attr result = super.setAttributeNode(attribute); fireAttributeChangeImpl(event, htmlPage, mappedElement, oldAttributeValue); return result; } @Override public void removeAttribute(final String attributeName) { <extra_id_0> if (ATTRIBUTE_NOT_DEFINED == value) { return; } final HtmlPage htmlPage = getHtmlPageOrNull(); if (htmlPage != null) { htmlPage.removeMappedElement(this);