Fix #1236: Implement java.io.PrintWriter.

Consider writing the char directly, rather then creating a String first.