added service implementation URL to fix ServerManager bug, added servlet details to web.xml