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.