code: public String getNodeName(int nodeHandle) {
                  nodes.readSlot(nodeHandle, gotslot);
                  short type = (short) (gotslot[0] & 0xFFFF);
                  String name = fixednames[type];
                  if (null == name) {
                    int i=gotslot[3];
                    /**/System.out.println("got i="+i+" "+(i>>16)+"/"+(i&0xffff));
  
                    name=m_localNames.indexToString(i & 0xFFFF);
                    String prefix=m_prefixNames.indexToString(i >>16);
                    if(prefix!=null && prefix.length()>0)
                      name=prefix+":"+name;
                  }
                  return name;
          }
docs: Given a node handle, return its DOM-style node name. This will
  include names such as #text or #document.
  
  @param nodeHandle the id of the node.
  @return String Name of this node, which may be an empty string.
  %REVIEW% Document when empty string is possible...