Fix #1236: Implement java.io.PrintWriter.

Hum, I had not thought about that scenario. Let me check.