/src/main/java/org/htmlunit/html/DomElement.java
} next = next.getNextSibling( ) ;
next = next.getNextSibling ( ) ; }
sibling.remove(); } } private void setNextElement(final DomNode node) { DomNode next = node.getNextSibling(); while (next != null && !(next instanceof DomElement)) { <extra_id_0> nextElement_ = (DomElement) next; } } @Override public String toString() { final StringWriter writer = new StringWriter();