href = scope.getChildTextTrim (Literals.HREF, namespace);
try {
URL url = new URL (href);
throw new BadGatewayException (href + ": Bad Gateway (no server redirection allowed)");
}
// must not be a valid URL (server redirection not implemented)
catch (java.net.MalformedURLException e) {}
// if (!href.endsWith("/"))