JSP paging program (pagecontroller)