if ((!prefix.equals(EMPTYSTRING)) && (uri.equals(EMPTYSTRING))) return;
    private void pushNamespace(String prefix, String uri) throws SAXException {	if (prefix.equals(XML_PREFIX)) return;	Stack stack;	// Get the stack that contains URIs for the specified prefix	if ((stack = (Stack)_namespaces.get(prefix)) == null) {	    stack = new Stack();	    _namespaces.put(prefix, stack);	}	// Quit now if the URI the prefix currently maps to is the same as this	if (!stack.empty() && uri.equals(stack.peek())) return;	// Put this URI on top of the stack for this prefix	stack.push(uri);	_prefixStack.push(prefix);	_nodeStack.push(new Integer(_depth));	_saxHandler.startPrefixMapping(prefix, uri);    }