Workaround for local deployment with web.xml located somewhere else than
src/main/resources