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