Rename DublinServlet to InfoServlet, update JSP, and start user id's at
1000.