Fix #1236: Implement java.io.PrintWriter.