Fixing accidental commit of web.xml file
Merge pull request #136 from fgiannar/develop

Fixing accidental commit of web.xml file