/src/main/java/org/htmlunit/html/HtmlElement.java
if ( page.getFocusedElement( ) != this) { htmlPage.addMappedElement( this) ; }
htmlPage.addMappedElement ( this ) ;
final HtmlPage htmlPage = getHtmlPageOrNull(); if (htmlPage != null) { htmlPage.removeMappedElement(this); } super.removeAttribute(attributeName); if (htmlPage != null) { <extra_id_0> final HtmlAttributeChangeEvent event = new HtmlAttributeChangeEvent(this, attributeName, value); fireHtmlAttributeRemoved(event); htmlPage.fireHtmlAttributeRemoved(event); } } protected void fireHtmlAttributeAdded(final HtmlAttributeChangeEvent event) {