svoid saveLineCompReaderToFile(LineCompReader lc, File f) ctex {
  {
    temp GZIPOutputStream gos = newGZIPOutputStream(f);
    temp Writer writer = new OutputStreamWriter(gos, "ISO-8859-1");
    temp PrintWriter printWriter = new PrintWriter(writer);
    lc.save(printWriter);
  }
  printFileInfo(f);
}