On Mon, 23 Jan 2023 14:24:16 GMT, Per Minborg <pminb...@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 <pminb...@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
