if ("http".equals(request.getScheme().toLowerCase()) && (alwaysHttpPort != 0)) { return alwaysHttpPort;
int result = request.getServerPort();  if ("http".equals(request.getScheme().toLowerCase())) { Integer http = portMapper.lookupHttpPort(new Integer(result));  if (http != null) {  result = http.intValue(); }
    public int getServerPort(ServletRequest request) {        if ("http".equals(request.getScheme().toLowerCase())            && (alwaysHttpPort != 0)) {            return alwaysHttpPort;        }        if ("https".equals(request.getScheme().toLowerCase())            && (alwaysHttpsPort != 0)) {            return alwaysHttpsPort;        }        return request.getServerPort();    }