new scala_xml_Elem( prefix, // java.lang.String:String label, // java.lang.String:String attributes, // scala.xml.MetaData scope, // scala.xml.NamespaceBinding child // Unknown:Nothing )
new scala_xml_Elem( prefix, // java.lang.String:String label, // java.lang.String:String attributes1, // scala.xml.MetaData scope, // scala.xml.NamespaceBinding minimizeEmpty, // java.lang.Boolean:Boolean child // Unknown:Nothing )