Including web.xml resources in war, fixes #503