else reportedResolutionFailures.add(namespaceUri);
reportedResolutionFailures.add(namespaceUri);
    private void noTagLibrary(String namespaceUri) {        namespaceUri = getActualNamespace(namespaceUri);        if (reportedResolutionFailures.contains(namespaceUri))            return;        else            reportedResolutionFailures.add(namespaceUri);        if (namespaceUri.length() == 0)            error("no tag library for elements with no namespace");        else            error("no tag library for namespace '" + namespaceUri + "'");    }