static void addFileToZip(ZipOutputStream outZip, File f, S name) ctex {
  ping();
  if (f == null || !f.isFile()) ret;
  temp smartZipCompressionLevel(outZip, f);
  outZip.putNextEntry(new ZipEntry(name));
  copyFileToStream(f, outZip);
}

svoid addFileToZip(ZipOutputStream outZip, File f) {
  if (f == null) ret;
  addFileToZip(outZip, f, f.getName());
}

Began life as a copy of #1015358