fix web.xml handling