src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Fri Oct 21 14:45:13 2022 +0200
+++ b/src/Pure/System/scala.scala	Fri Oct 21 16:39:31 2022 +0200
@@ -368,8 +368,10 @@
   Scala_Build.Scala_Fun,
   Base64.Decode,
   Base64.Encode,
-  XZ.Compress,
-  XZ.Uncompress,
+  Compress.XZ_Compress,
+  Compress.XZ_Uncompress,
+  Compress.Zstd_Compress,
+  Compress.Zstd_Uncompress,
   Doc.Doc_Names,
   Bibtex.Check_Database,
   Isabelle_System.Make_Directory,