src/Pure/PIDE/xml.scala

 
   /** cache **/
 
   object Cache {
     def make(
-        xz: XZ.Cache = XZ.Cache.make(),
+        compress: Compress.Cache = Compress.Cache.make(),
         max_string: Int = isabelle.Cache.default_max_string,
         initial_size: Int = isabelle.Cache.default_initial_size): Cache =
-      new Cache(xz, max_string, initial_size)
-
-    val none: Cache = make(XZ.Cache.none, max_string = 0)
-  }
-
-  class Cache(val xz: XZ.Cache, max_string: Int, initial_size: Int)
+      new Cache(compress, max_string, initial_size)
+
+    val none: Cache = make(Compress.Cache.none, max_string = 0)
+  }
+
+  class Cache(val compress: Compress.Cache, max_string: Int, initial_size: Int)
   extends isabelle.Cache(max_string, initial_size) {
     protected def cache_props(x: Properties.T): Properties.T = {
       if (x.isEmpty) x
       else
         lookup(x) match {