When generating a redirect to a directory in the Default Servlet, avoid generating a protocol relative redirect. This is the fix for CVE-2018-11784
tomcat/tc7.0.x/trunk/
tomcat/tc7.0.x/trunk/java/org/apache/catalina/servlets/DefaultServlet.java