On Thu, 25 Apr 2024 12:46:53 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
> So is there some intention to decide to have such a default now or in the > near future ? > Otherwise it is a rather theoretical discussion . No decision on having a default has been made. My point was that implementing this PR equates to making a decision NOT to ever support a default. It doesn't leave it to be decided some time in the future. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18190#issuecomment-2078062419