RFR: 8251942: PrintStream specification is not clear which flush method is automatically invoked [v2]

[Daniel Fuchs]

On Thu, 11 Mar 2021 20:57:24 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.
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8251942: Scale back class level spec change

Looks good to me Brian!

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

Marked as reviewed by dfuchs (Reviewer).

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