public String getNodeName(final int node) { if (_dom != null) { return _dom.getNodeName(node); } else { return super.getNodeName(node); } }