On Fri, 19 May 2023 09:09:05 GMT, Alan Bateman <alanb at openjdk.org> wrote: > There is more significant work to do this area and I think we can look at it then. That sounds reasonable to me. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14047#issuecomment-1554277576