please include function loadPage.

static S loadPage_noClose(URLConnection con, URL url) throws IOException {
  try {
    if (!loadPage_anonymous)
      setHeaders(con);
    if (loadPage_allowGzip)
      con.setRequestProperty("Accept-Encoding", "gzip");
  } catch (Throwable e) {} // fails if within doPost
  String contentType = con.getContentType();
  if (contentType == null)
    throw new IOException("Page could not be read: " + url);
  //print("Content-Type: " + contentType);
  String charset = loadPage_charset == null ? null : loadPage_charset.get();
  if (charset == null) charset = loadPage_guessCharset(contentType);
  
  InputStream in = con.getInputStream();
  if ("gzip".equals(con.getContentEncoding())) {
    if (loadPage_debug)
      print("loadPage: Using gzip.");
    in = new GZIPInputStream(in);
  }
  Reader r = new InputStreamReader(in, charset);
  
  StringBuilder buf = new StringBuilder();
  int n = 0;
  while (true) {
    int ch = r.read();
    if (ch < 0)
      break;
    buf.append((char) ch);
    ++n;
    if ((n % loadPage_verboseness) == 0) print("  " + n + " chars read");
  }
  return buf.toString();
}