Setting setting timeout in web.xml