Integrated: 8251942: PrintStream specification is not clear which flush method is automatically invoked

[Brian Burkhalter]

On Wed, 10 Mar 2021 23:03:03 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Please review this minor change to the specification of `java.io.PrintStream`. The longstanding behavior for flushing is to invoke the `flush()` method of the underlying `OutputStream` rather than its override but this was not made explicit in the specification.

This pull request has now been integrated.

Changeset: d7268fa3
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/d7268fa3
Stats:     9 lines in 1 file changed: 1 ins; 0 del; 8 mod

8251942: PrintStream specification is not clear which flush method is automatically invoked

Reviewed-by: dfuchs, alanb

-------------

PR: https://git.openjdk.java.net/jdk/pull/2926