/src/main/java/org/htmlunit/html/HtmlPage.java
final DomElement elementWithFocus = getFocusedElement( ) ;final DomElement doc = getDocumentElement( ) ;
final DomElement doc = getDocumentElement ( ) ;
} @Override public HtmlElement getDocumentElement() { return (HtmlElement) super.getDocumentElement(); } public HtmlElement getBody() { <extra_id_0> if (doc != null) { for (final DomNode node : doc.getChildren()) { if (node instanceof HtmlBody || node instanceof HtmlFrameSet) { return (HtmlElement) node; } }