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





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