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