code: public String getURI(String prefix) throws NamespaceException {
          String uri = prefixToURI.getProperty(prefix);
          if (uri != null) {
              return uri;
          } else {
              throw new NamespaceException(
                      "Unknown namespace prefix " + prefix + ".");
          }
      }
docs: {@inheritDoc}