/src/main/java/org/htmlunit/html/HtmlElement.java
if ( domText != null) {   domText.moveSelectionToEnd( ) ; }
[Delete]
public void removeAttribute(final String attributeName) { final String value = getAttribute(attributeName); if (ATTRIBUTE_NOT_DEFINED == value) { return; } final HtmlPage htmlPage = getHtmlPageOrNull(); <extra_id_0> htmlPage.removeMappedElement(this); } super.removeAttribute(attributeName); if (htmlPage != null) { htmlPage.addMappedElement(this); final HtmlAttributeChangeEvent event = new HtmlAttributeChangeEvent(this, attributeName, value);