52North/WPS — pull request #78 by bpross-52n (2014-04-25 08:15:15+00:00)
Title: Fixed (self-introduced) bug in web.xml

I accidentally had overwritten @autermanns change with my previous
commit.