Web.xml fix for compatibility with version 6.1.1