Fixing up web.xml definition with changed app name