docs: public static Integer getRedirectPort(String host, int httpPort) {
          Integer httpsPort = null;
          synchronized (map) {
              if (httpPort == DEFAULT_HTTP_PORT && map.get(httpPort) == null) {
                  // use default redirect of 80 to 443
                  httpsPort = DEFAULT_HTTPS_PORT;
              } else {
                  Map<String, HttpProxyRedirect> redirectsForThisPort = map.get(httpPort);
                  if (redirectsForThisPort != null) {
                      HttpProxyRedirect hdr = redirectsForThisPort.get(host);
                      if (hdr == null) {
                          hdr = redirectsForThisPort.get(STAR);
                      }
                      if (hdr != null && hdr.enabled) {
                          httpsPort = hdr.httpsPort;
                      }
                  }
              }
          }
          return httpsPort;
      }