modify web.xml to fit servlet 2.5