#716 - restore web.xml as suggested by Govert