svoid teeSystemOutAndErrToFile(File f) {
  FileOutputStream fileOut = newFileOutputStream(f, true);
  System.setOut(teePrintStream(System.out, fileOut));
  System.setErr(teePrintStream(System.err, fileOut));
}