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