URL encoding on slashes bug + Tomcat URL encoding bug fixed