etc/build.props

--- a/etc/build.props	Sat Dec 31 14:54:20 2022 +0100
+++ b/etc/build.props	Sat Dec 31 14:58:34 2022 +0100
@@ -315,7 +315,7 @@
   isabelle.Scala$Handler \
   isabelle.Scala_Functions \
   isabelle.Server_Commands \
-  isabelle.Sessions$File_Format \
+  isabelle.Sessions$ROOTS_File_Format \
   isabelle.Simplifier_Trace$Handler \
   isabelle.Tools \
   isabelle.jedit.JEdit_Plugin0 \