fixing web.xml servlet reference