code: public String getPrefix()
    {
          int len=m_rawName.length()-m_localName.length()-1;
      return (len>0)
              ? m_rawName.substring(0,len)
              : "";
    }
docs: Get the prefix part of the raw name of the Literal Result Element.
  
  @return The prefix, or the empty string if noprefix was provided.