Integrated: 8308016: Use snippets in java.io package

Tue May 23 16:03:43 UTC 2023

On Fri, 12 May 2023 16:17:38 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 710453c6
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/710453c676712d021bf856dc601d965e4e270805
Stats:     159 lines in 20 files changed: 27 ins; 7 del; 125 mod

8308016: Use snippets in java.io package

Reviewed-by: rriggs

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

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