public synchronized short getSymbol(String name) { if (name.length() == 0) throw new IllegalArgumentException("name is empty"); short id = (short) nameSymbols.get(name);
public synchronized short getSymbol(Element element) { short id = (short) nameSymbols.get(element.getLocalName());
	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;	}