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