code: public String getPrefix(int nodeHandle) {
                  nodes.readSlot(nodeHandle, gotslot);
                  short type = (short) (gotslot[0] & 0xFFFF);
                  String name = "";
                  if((type==ELEMENT_NODE) || (type==ATTRIBUTE_NODE)) {
                    int i=gotslot[3];
                    name=m_prefixNames.indexToString(i >>16);
                    if(name==null) name="";
                  }
                  return name;
          }
docs: Given a namespace handle, return the prefix that the namespace decl is
  mapping.
  Given a node handle, return the prefix used to map to the namespace.
  
  <p> %REVIEW% Are you sure you want "" for no prefix?  </p>
  
  %REVIEW%  Should this be DOM-style (undefined unless namespaced),
  or other?
  
  @param nodeHandle the id of the node.
  @return String prefix of this node's name, or "" if no explicit
  namespace prefix was given.