web.xml from default 5.5 install