fix WEB-INF/web.xml