updates in web.xml and index.jsp