The following statement in the class javadoc appears incorrect:

 * <p> All characters printed by a <code>PrintStream</code> are converted into
 * bytes using the platform's default character encoding.

Each PrintStream uses an internal charset for character-to-byte conversion. If
the charset is not specified during construction, the default charset will be
used.