/** Return the node identity from a node handle. */ public final int getNodeIdent(final int nodehandle) { if (_dom != null) { return _dom.getNodeIdent(nodehandle); } else { return super.getNodeIdent(nodehandle); } }