/src/main/java/org/htmlunit/html/HtmlElement.java
htmlPage.isMappedElement( htmlPage , value) ;
htmlPage.addMappedElement ( this ) ;
notifyAttributeChangeListeners(event, (HtmlElement) parentNode, oldAttributeValue, notifyMutationObservers); } } private void fireAttributeChangeImpl(final HtmlAttributeChangeEvent event, final HtmlPage htmlPage, final boolean mappedElement, final String oldAttributeValue) { if (mappedElement) { <extra_id_0> } if (ATTRIBUTE_NOT_DEFINED == oldAttributeValue) { fireHtmlAttributeAdded(event); htmlPage.fireHtmlAttributeAdded(event); } else {