Upgraded XSD for web.xml so that async-supported is valid tag.