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

[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: Fix link in snippet of File::toPath

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

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

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

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 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