if (nameSymbols.containsKey(element.getLocalName())) return (short) nameSymbols.getInt(element.getLocalName()); short id = ++max;
short id = (short) nameSymbols.get(element.getLocalName()); if (id > -1) return id; id = ++max;
	public synchronized short getSymbol(Element element) {		if (nameSymbols.containsKey(element.getLocalName()))			return (short) nameSymbols.getInt(element.getLocalName());		short id = ++max;		nameSymbols.put(element.getLocalName(), id);		names.put(id, element.getLocalName());		changed = true;		// remember the prefix=namespace mapping for querying		String prefix = element.getPrefix();		if (prefix != null && prefix.length() > 0 && (!defaultMappings.containsKey(prefix))) {			final short nsId = getNSSymbol(element.getNamespaceURI());			defaultMappings.put(prefix, nsId);		}		return id;	}