question: public void addTotalResultCountCookie ( WorkbenchRequest req , HttpServletResponse resp , int value ) { addCookie ( req , resp , "total_result_count" , String . valueOf ( value ) ) ; }
target:  Add a 'total_result_count' cookie. Used by both QueryServlet and ExploreServlet.