filtering web.xml