public void print(PrintStream p) throws IOException { print(new PrintWriter(new OutputStreamWriter(p, Escape.utf8Charset), true)); }
public void print(PrintStream p) throws IOException { print(new PrintWriter(new OutputStreamWriter(p, Escape.utf8Charset), true)); }