Integrated: 8342083: Make a few fields in FileSystemPreferences final

[Andrey Turbanov]

On Mon, 23 Sep 2024 09:13:58 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote:

> 8342083: Make a few fields in FileSystemPreferences final

This pull request has now been integrated.

Changeset: 0e3fc93d
Author:    Andrey Turbanov <aturbanov at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0e3fc93dfb14378a848571a6b83282c0c73e690f
Stats:     4 lines in 1 file changed: 0 ins; 0 del; 4 mod

8342083: Make a few fields in FileSystemPreferences final

Reviewed-by: jpai, bpb

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

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