Sync with web.xml version.