Integrated: 8300864: Declare some fields in java.io as final

Mon Jan 23 17:49:51 UTC 2023

On Mon, 23 Jan 2023 14:24:16 GMT, Per Minborg <pminborg at openjdk.org> wrote:

> Some of the fields in java.io can be declared as final.

This pull request has now been integrated.

Changeset: 079255e3
Author:    Per Minborg <pminborg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/079255e312a60584d748babcd320eacec99c5a02
Stats:     117 lines in 8 files changed: 5 ins; 5 del; 107 mod

8300864: Declare some fields in java.io as final

Reviewed-by: rriggs, lancea

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

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