Tentative fix for #1512 "Proxy portlet: cookie manager fails if URLs don't specify a port"