fixing appengine-web.xml