String prefix = element.getPrefix(); if (prefix != null && prefix.length() > 0 && (!defaultMappings.containsKey(prefix))) { final short nsId = getNSSymbol(element.getNamespaceURI()); defaultMappings.put(prefix, nsId); }
	public synchronized short getSymbol(Element element) {		if (symbols.containsKey(element.getTagName()))			return (short) symbols.getInt(element.getTagName());		short id = ++max;		symbols.put(element.getTagName(), id);		names.put(id, element.getTagName());		changed = true;		return id;	}