NodeList args = function.getElementsByTagName("arg");
List args = XMLUtil.getChildElements(function, "arg");
    protected void init(Element function) {        type = function.getAttribute("type");        try {            setId(Integer.parseInt(function.getAttribute("id")));        } catch (NumberFormatException e) {        }        if (function.getAttribute("name") != null) {            name = function.getAttribute("name");        }        NodeList args = function.getElementsByTagName("arg");        for (int l = 0; l < args.getLength(); l++) {            Element arg = (Element) args.item(l);            String value = XMLUtil.getText(arg);            this.args.put(arg.getAttribute("name"), value);        }    }