new scala_xml_Elem( prefix, // java.lang.String label, // java.lang.String attributes1, // scala.xml.MetaData scope, // scala.xml.NamespaceBinding minimizeEmpty, // boolean child, // UnknownNothing )