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

[Roger Riggs]

On Thu, 18 May 2023 19:14:02 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> 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

Thanks for the updates.

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

Marked as reviewed by rriggs (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/13957#pullrequestreview-1437322626