fixed servlet name in web.xml