Summary

Improve specification of when the default versus a specified encoding is used to convert characters to bytes when writing using java.io.PrintStream.

Problem

When characters are written to a java.io.PrintStream they are converted to bytes using either a specified encoding or the default platform encoding if no encoding is given. The documentation of when which encoding is used is not comprehensive and is even self-contradictory in places.

Solution

Update API documentation to clarify when a specified versus the platform default encoding is used.

Specification

Please see the webrev in the attached archive 8131664.01.zip.