final long endTime = System.currentTimeMillis();
request.setAttribute("timeExecution", (endTime - startTime));
// System.out.println ("QueryServlet.doGet: total number of dates = " + res.size());
final long endTime = System.currentTimeMillis();
request.setAttribute("timeExecution", (endTime - startTime));
// System.out.println ("QueryServlet.doGet: total number of dates = " + res.size());