final Element docElement = doc.getDocumentElement();
try {
docElement.getTextContent();
} catch (final Throwable e) {
domLevel3 = false;
<BUG>}
final NodeList nodelist = docElement.getChildNodes();
for (int i = 0; i < nodelist.getLength(); i++) {
final org.w3c.dom.Node node = nodelist.item(i);</BUG>
final String nodeName = node.getNodeName();

final Element docElement = doc.getDocumentElement();
try {
docElement.getTextContent();
} catch (final Throwable e) {
domLevel3 = false;
}
for(org.w3c.dom.Node node  : new IterableNodeList(docElement.getChildNodes())) {
final String nodeName = node.getNodeName();
