docs: static String[] getServersFromURL(String url) {
          // get everything between the prefix and the ?
          String prefix = URL_PREFIX + "//";
          int end = url.length();
          if (url.indexOf("?") > 0) {
              end = url.indexOf("?");
          }
          String servstring = url.substring(prefix.length(), end);
          return servstring.split(",");
      }