/src/main/java/org/htmlunit/html/HtmlElement.java
fireHtmlAttributeRemoved( event) ;listener.attributeAdded( event) ;
listener.attributeAdded ( event ) ;
final HtmlElement element, final String oldAttributeValue, final boolean notifyMutationObservers) { final List<HtmlAttributeChangeListener> listeners = element.attributeListeners_; if (ATTRIBUTE_NOT_DEFINED == oldAttributeValue) { synchronized (listeners) { for (final HtmlAttributeChangeListener listener : listeners) { if (notifyMutationObservers || !(listener instanceof MutationObserver)) { <extra_id_0> } } } } else { synchronized (listeners) {