Javaで複数filesをまとめてzipにして出力する(=downloadさせる)必要があり、
何かlibraryないかなーと探したところ、あまりなくて。
ということは、標準的な手法でもさほど手間はかからないということですね。
確かに、new ZipOutputStream(response.getOutputStream())してから
new ZipEntry("file/name")してzos.putNextEntry(entry)して
zos.write(...)していけばいいだけですもんね。
Zipファイルによりますと、
new ZipOutputStream(new BufferedOutputStream(...))というように
new BufferedOutputStream()でくくった方が3.6倍速い(110ms→30ms)とのこと。
ホント?!