Bug fix - servlet naming in web.xml