public StreamedContent downloadAll(Submission sub) {
String filename = sub.getAssignment().getTitle().replace(' ', '_')
+ "_group_" + sub.getSubmittingGroup().getId() + "_all_files.zip";
return new DefaultStreamedContent(
FireUtil.zipFiles(sub.getFiles()),
"application/zip", filename);
}