prefix = (String) prefixes.pop();
nsMappings.remove(prefix);
	public void endPrefixMapping(String prefix) {		if (ignorePrefix != null && prefix.equals(ignorePrefix)) {			ignorePrefix = null;		} else {			prefix = (String) prefixes.pop();		}	}