change name of service in web.xml