rework web.xml handling