git: openjdk/jdk: master: 8342083: Make a few fields in FileSystemPreferences final

[Andrey Turbanov]

Changeset: 0e3fc93d
Branch: master
Author:    Andrey Turbanov <aturbanov at openjdk.org>
Date:      2024-10-26 17:59:15 +0000
URL:       https://git.openjdk.org/jdk/commit/0e3fc93dfb14378a848571a6b83282c0c73e690f

8342083: Make a few fields in FileSystemPreferences final

Reviewed-by: jpai, bpb

! src/java.prefs/unix/classes/java/util/prefs/FileSystemPreferences.java