Example #1
0
 /** Print string, replacing all non-ascii character with unicode escapes. */
 public void print(Object s) throws IOException {
   out.write(Convert.escapeUnicode(s.toString()));
 }