java.lang.System.out.println("INFO: Read attribute.");
    static java.lang.Object read_attribute(java.lang.Object o, java.lang.Object n) {            java.lang.Object a = null;        org.w3c.dom.NamedNodeMap m = (org.w3c.dom.NamedNodeMap) o;        if (m != null) {                org.w3c.dom.Node e = m.getNamedItem((java.lang.String) n);                        if (e != null) {                                a = e.getNodeValue();                    } else {                                java.lang.System.out.println("WARNING: Could not get attribute. The attribute element is null.");            }                } else {                        java.lang.System.out.println("ERROR: Could not get attribute. The node map is null.");        }        return a;    }