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



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