namespaces.put(uri, prefix);
ctx.put(uri, prefix);
  String define(String uri, String prefix)  {    while (namespaces.containsValue(prefix))      {        // Fabricate new prefix        prefix = prefix + "_";      }    namespaces.put(uri, prefix);    return prefix;  }