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