src/Pure/General/zstd.scala

--- a/src/Pure/General/zstd.scala	Fri Oct 21 17:56:56 2022 +0200
+++ b/src/Pure/General/zstd.scala	Fri Oct 21 18:06:32 2022 +0200
@@ -7,11 +7,14 @@
 package isabelle
 
 
+import com.github.luben.zstd
+
+
 object Zstd {
   def init(): Unit = init_jni
 
   private lazy val init_jni: Unit = {
-    require(!com.github.luben.zstd.util.Native.isLoaded(),
+    require(!zstd.util.Native.isLoaded(),
       "Zstd library already initialized by other means than isabelle.Zstd.init()")
 
     val lib_dir = Path.explode("$ISABELLE_ZSTD_HOME/" + Platform.jvm_platform)
@@ -22,8 +25,8 @@
       }
     System.load(File.platform_path(lib_file.getAbsolutePath))
 
-    com.github.luben.zstd.util.Native.assumeLoaded()
-    assert(com.github.luben.zstd.util.Native.isLoaded())
+    zstd.util.Native.assumeLoaded()
+    assert(zstd.util.Native.isLoaded())
     Class.forName("com.github.luben.zstd.Zstd")
   }
 }