svoid smartZipCompressionLevel(ZipOutputStream zip, File f) {
  int level = Deflater.DEFAULT_COMPRESSION;
  if (isImageFile(f) || eqicOneOf(fileExtension(f), ".zip", ".jar", ".gz"))
    level = Deflater.NO_COMPRESSION;
  zip.setLevel(level);
}