if (symbols.containsKey(element.getTagName())) return (short) symbols.get(element.getTagName()); short id = ++max; symbols.put(element.getTagName(), id); names.put(id, element.getTagName()); changed = true; return id; }
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; }
    public synchronized short getSymbol(Element element) {        if (symbols.containsKey(element.getTagName()))            return (short) symbols.get(element.getTagName());        short id = ++max;        symbols.put(element.getTagName(), id);        names.put(id, element.getTagName());	    changed = true;        return id;    }