/src/main/java/org/htmlunit/html/HtmlElement.java
if ( shiftPressed_ || !( listener instanceof MutationObserver) ) {
if ( notifyMutationObservers || ! ( listener instanceof MutationObserver ) ) {
} } } else { synchronized (listeners) { for (final HtmlAttributeChangeListener listener : listeners) { <extra_id_0> listener.attributeReplaced(event); } } } } final DomNode parentNode = element.getParentNode();