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