config web.xml for BookServlet