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

[Brian Burkhalter]

> 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

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/2926/files
  - new: https://git.openjdk.java.net/jdk/pull/2926/files/3a42269a..2fb89ff8

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=2926&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=2926&range=00-01

  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.java.net/jdk/pull/2926.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/2926/head:pull/2926

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