static void zip_addTextFile(ZipOutputStream outZip, S name, S text) ctex {
  if (text == null) ret;
  byte[] utf8 = toUtf8(text);
  ZipEntry e = new(name);
  e.setSize(l(utf8));
  outZip.putNextEntry(e);
  outZip.write(utf8, 0, l(utf8));
}