code: public String getLocalName(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_localNames.indexToString(i & 0xFFFF);
                    if(name==null) name="";
                  }
                  return name;
          }
docs: Given a node handle, return its DOM-style localname.
  (As defined in Namespaces, this is the portion of the name after any
  colon character)
  
  %REVIEW% What's the local name of something other than Element/Attr?
  Should this be DOM-style (undefined unless namespaced), or other?
  
  @param nodeHandle the id of the node.
  @return String Local name of this node.