initial web.xml for spring