fixed servlet mapping in web.xml