RFR: 8308016: Use snippets in java.io package [v3]

[Brian Burkhalter]

> Replace `<pre>{@code ...}</pre>` patterns and the like with `{@snippet lang=java : ...}`.

Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:

  8308016: Address reviewer comments since previous commit

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/13957/files
  - new: https://git.openjdk.org/jdk/pull/13957/files/bc5c0358..614eeda6

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=13957&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=13957&range=01-02

  Stats: 26 lines in 6 files changed: 2 ins; 0 del; 24 mod
  Patch: https://git.openjdk.org/jdk/pull/13957.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/13957/head:pull/13957

PR: https://git.openjdk.org/jdk/pull/13957