changed servlet mapping in web.xml