Fixes Tomcat URL decoding: allow encoded slashes.