This recipe has only this single servlet:
@WebServlet(name = "ServerPushServlet", urlPatterns = {"/ServerPushServlet"})public class ServerPushServlet extends HttpServlet { @Override protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException { doRequest(request, response); } private void doRequest(HttpServletRequest request, HttpServletResponse response) throws IOException{ String usePush = request.getParameter("usePush"); if ("true".equalsIgnoreCase(usePush)){ PushBuilder pb = request.newPushBuilder(); if (pb != null) { for(int row=0; row < 5; row++){ for(int col=0; col < 8; col++){ pb.path("image/keyboard_buttons/keyboard_buttons-" + row + "-" + col + ".jpeg") .addHeader("content-type", ...