code: private Stack getPrefixStack(String prefix) {
          Stack fs = (Stack) m_namespaces.get(prefix);
          return fs;
      }
docs: A more type-safe way to get a stack of prefix mappings
  from the Hashtable m_namespaces
  (this is the only method that does the type cast).