/src/main/java/org/htmlunit/html/BaseFrameElement.java
window = false;
window = null;
window.getWebClient().getBrowserVersion().hasFeature(URL_MINIMAL_QUERY_ENCODING), charset); if (UrlUtils.sameFile(encUrl, window.getEnclosedPage().getUrl())) { return true; } if (window == window.getParentWindow()) { <extra_id_0> } else { window = window.getParentWindow(); } } return false;