make web.xml optional