adjust web.xml to support jboss deployment
Merge branch 'OWS-10-dev' of https://github.com/matthesrieke/SES into OWS-10-dev