public void addTotalResultCountCookie(WorkbenchRequest req,HttpServletResponse resp,int value){
  addCookie(req,resp,"total_result_count",String.valueOf(value));
}

public void addTotalResultCountCookie ( WorkbenchRequest req , HttpServletResponse resp , int value ) { addCookie ( req , resp , "total_result_count" , String . valueOf ( value ) ) ; }
add a ' total_result_count ' cookie . used by both queryservlet and exploreservlet .
