Cacher is the code snippet organizer for pro developers

// For complete examples and data files, please go to https://github.com/groupdocs-comparison/GroupDocs.comparison-for-Java
@WebServlet("/download")
public class Download extends HttpServlet {
    protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {

        // It is assumed that we are redirected here by Upload servlet
        // here so we already know path to result file
        Path result = (Path) request.getSession().getAttribute("result");
        if (result == null) {
            response.sendError(404);
            return;
        }

        // Let the user download comparison results
        response.setContentType("application/octet-stream");
        response.setHeader("Content-disposition", "attachment; filename=" + result.getFileName());
        Files.copy(result, response.getOutputStream());
    }
}