Fix #1236: Implement java.io.PrintWriter.

Unused method.