diff -r 5649a993666d -r 445b3deced8f src/Pure/General/xz_file.scala
--- a/src/Pure/General/xz_file.scala	Sun Oct 02 21:05:14 2016 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-/*  Title:      Pure/General/xz_file.scala
-    Author:     Makarius
-
-XZ file system operations.
-*/
-
-package isabelle
-
-
-import java.io.{BufferedOutputStream, OutputStream, FileInputStream, BufferedInputStream,
-  File => JFile}
-
-import org.tukaani.xz.{LZMA2Options, XZInputStream, XZOutputStream}
-
-
-object XZ_File
-{
-  def read(file: JFile): String =
-    File.read_stream(new XZInputStream(new BufferedInputStream(new FileInputStream(file))))
-
-  def read(path: Path): String = read(path.file)
-
-  def write(file: JFile, text: Iterable[CharSequence], preset: Int = 3)
-  {
-    val options = new LZMA2Options
-    options.setPreset(preset)
-    File.write_file(file, text, (s: OutputStream) =>
-      new XZOutputStream(new BufferedOutputStream(s), options))
-  }
-}
-