Fix #1236: Implement java.io.PrintWriter.
Merge pull request #1273 from sjrd/printwriter

Fix #1236: Implement java.io.PrintWriter.