prefer new instance, following "make" signature terminology;

--- a/src/Pure/General/compress.scala	Fri Oct 21 16:39:31 2022 +0200
+++ b/src/Pure/General/compress.scala	Fri Oct 21 17:56:56 2022 +0200
@@ -35,7 +35,11 @@
 
   object Cache {
     def none: Cache = { Zstd.init(); new Cache(ArrayCache.getDummyCache(), NoPool.INSTANCE) }
-    def make(): Cache = { Zstd.init(); new Cache(new BasicArrayCache, RecyclingBufferPool.INSTANCE) } // FIXME new pool
+    def make(): Cache = {
+      Zstd.init()
+      val pool = Untyped.constructor(classOf[RecyclingBufferPool]).newInstance()
+      new Cache(new BasicArrayCache, pool)
+    }
   }