Is this web.xml really needed for the non-demo module ?