On Mon, 23 Sep 2024 09:13:58 GMT, Andrey Turbanov <aturba...@openjdk.org> wrote:
> 8342083: Make a few fields in FileSystemPreferences final This pull request has now been integrated. Changeset: 0e3fc93d Author: Andrey Turbanov <aturba...@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
