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