docs: public static void main(String[] args) throws IOException {
  
      String encoding = args[1];
      Reader in = new BufferedReader(new InputStreamReader(new FileInputStream(args[0]), encoding));
  
      Tokenizer<String> st = new CHTBTokenizer(in);
  
      while (st.hasNext()) {
        String s = st.next();
        EncodingPrintWriter.out.println(s, encoding);
        // EncodingPrintWriter.out.println("|" + s + "| (" + s.length() + ")",
        //				encoding);
      }
    }