Fix web.xml version nr