src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Sat Jun 25 10:27:42 2022 +0200
+++ b/src/Pure/System/scala.scala	Sat Jun 25 13:19:15 2022 +0200
@@ -323,10 +323,10 @@
   Scala.Echo,
   Scala.Sleep,
   Scala.Toplevel,
-  Bytes.Decode_Base64,
-  Bytes.Encode_Base64,
-  Bytes.Compress,
-  Bytes.Uncompress,
+  Base64.Decode,
+  Base64.Encode,
+  XZ.Compress,
+  XZ.Uncompress,
   Doc.Doc_Names,
   Bibtex.Check_Database,
   Isabelle_System.Make_Directory,