static PrintWriter newGZIPWriter(File f) {
  ret newPrintWriter(newGZIPOutputStream(f));
}