static BufferedReader utf8BufferedReader(InputStream in) {
  ret utf8bufferedReader(in);
}

static BufferedReader utf8BufferedReader(File f) {
  ret utf8bufferedReader(f);
}