Protocol relative redirects are standard. [1] is just one example of
where they might be used. Currently, the wording of the sendRedirect()
Javadoc prevents the use of protocol relative redirects. They may not be
as widely used but they are standard and the Servlet spec should not
prevent their use. The fix is a simple change to the Javadoc.