private Hashtable getElementAttributes (String name) { Object element[] = (Object[]) elementInfo.get (name); if (element == null) return null; else return (Hashtable) element [2]; }
private HashMap getElementAttributes(String name) { ElementDecl element = (ElementDecl) elementInfo.get(name); return (element == null) ? null : element.attributes; }
    private Hashtable getElementAttributes (String name)    {	Object element[] = (Object[]) elementInfo.get (name);	if (element == null)	    return null;	else	    return (Hashtable) element [2];    }