Update web.xml

Updating server name