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();

}