/** 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);
   }
 }