new code_model_XElem( prefix, // scala.Option[java.lang.String] label, // java.lang.String attributes, // scala.Option[code.model.XAttrs] children, // scala.collection.immutable.List[code.model.XNode] )