static void addTextFileToZip(ZipOutputStream outZip, S name, S text) {
  zip_addTextFile(outZip, name, text);
}