On Fri, 10 Feb 2023 07:25:11 GMT, Alan Bateman <al...@openjdk.org> wrote:
> Looks okay, I assume you've done a wider search to see if there are any more. I missed the ones that @djelinski spotted. I rescanned `java.io` and don't see any others. Those two are fixed by 7868641a2c9558e66b51c40b49031095317c3a48. ------------- PR: https://git.openjdk.org/jdk/pull/12505
