svoid lcSaveToFile(LineCompCompressor comp, File f) { 
  saveGZTextFile(f, comp.asText(), "ISO-8859-1");
}