public String getAttributeDefaultValue (String name, String aname) { Object attribute[] = getAttribute (name, aname); if (attribute == null) { return null; } else { return (String) attribute [1]; } }
public String getAttributeDefaultValue(String name, String aname) { AttributeDecl attribute = getAttribute(name, aname); return (attribute == null) ? null : attribute.value; }
    public String getAttributeDefaultValue (String name, String aname)    {	Object attribute[] = getAttribute (name, aname);	if (attribute == null) {	    return null;	} else {	    return (String) attribute [1];	}    }