[BISERVER-11268] Adding special decoding filter to the platform to handle double-encoded / and \ chars in URLs. This works around a limitation in Tomcat.
[BISERVER-11268] Correcting web.xml entry