On Mon, 17 Feb 2025 10:49:25 GMT, Alan Bateman <al...@openjdk.org> wrote:
> Looks fine although I assume we've never had any reports of an exception here. Right - given the nature of this tool, I doubt it would ever be an issue in practice. Thank you for the review. I'll go ahead and integrate this now. ------------- PR Comment: https://git.openjdk.org/jdk/pull/23626#issuecomment-2662762095
