static PrintWriter filePrintWriter(File f) {
  ret outputStreamToPrintWriter(bufferedFileOutputStream(f));
}