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