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(String name) {		if (name.length() == 0)			throw new IllegalArgumentException("name is empty");		short id = (short) nameSymbols.get(name);		if (id > -1)			return id;		id = ++max;		nameSymbols.put(name, id);		names.put(id, name);		changed = true;		return id;	}