On Fri, 14 Apr 2023 15:07:37 GMT, Andy-Tatman <d...@openjdk.org> wrote:
> So while changing the specifications is possible, it can potentially break > existing clients. The change suggested in this pull request avoids this and > instead fixes the internal bug of the get function locally, without affecting > the other methods and without affecting existing clients. I think it will require re-visting the spec, it's unfortunate that this wasn't recognised in JDK-8230557.. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13388#issuecomment-1508862261