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

[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/d0dce640..b6abb2e4

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

  Stats: 13 lines in 3 files changed: 0 ins; 0 del; 13 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