added back web.xml