Fixes issue #25 for now -- use double-escape hack for / %2F issue in Tomcat