Updated web.xml with Spring goodies