On Fri, 4 Apr 2025 23:05:01 GMT, Bradford Wetmore <wetm...@openjdk.org> wrote:
>> Yes, I am on the fence about this. Given the specified value is the same as >> the default, it can be removed. I kept it there so the new code matches the >> original code completely. Not much difference either way I think. > > I like having it there to communicate that is really the intent. Ok. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/24393#discussion_r2038333871
