<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_b6lm1v8geeie5pg88hah9uj11s, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass Zip2Zip {
  // must set
  File inZip;
  ZipOutputStream outZip;
  Set<S> filesWritten;
  
  // optional
  IPred<S> predicate = name -> true;
  
  *(File *inZip, ZipOutputStream *outZip, Set<S> *filesWritten) {}
  
  run {
    ZipFile zipFile = new ZipFile(inZip);
    try {
      Enumeration entries = zipFile.entries();
      while (entries.hasMoreElements()) {
        ZipEntry entry = (ZipEntry) entries.nextElement();
        if (entry.isDirectory()) continue;
        S name = entry.getName();
        
        if (!predicate.get(name)) continue;
        if (!filesWritten.add(name)) continue;
        
        ZipEntry e = new ZipEntry(name);
        modifyZipEntry(entry, e);
        outZip.putNextEntry(e);
        copyStreamAndCloseInput(zipFile.getInputStream(entry), outZip);
      }
    } finally {
      zipFile.close();
    }
  }
  
  swappable void modifyZipEntry(ZipEntry in, ZipEntry out) {}
}