fixing the gitblit install where the rep tree is not show because of tomcat replacement of the slash