reverting to a good web.xml (accidentally removed it)