diff -r b2c4ba0d048b -r b66ece8770a9 src/Pure/PIDE/xml.scala
--- a/src/Pure/PIDE/xml.scala	Sat Jun 29 14:57:04 2024 +0200
+++ b/src/Pure/PIDE/xml.scala	Sun Jun 30 11:13:31 2024 +0200
@@ -343,7 +343,7 @@
     val properties: T[Properties.T] =
       (props => List(XML.Elem(Markup(":", props), Nil)))
 
-    val string: T[String] = (s => if (s.isEmpty) Nil else List(XML.Text(s)))
+    val string: T[String] = XML.string
 
     val long: T[Long] = (x => string(long_atom(x)))