fix web.xml version