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