On Thu, 24 Jun 2021 09:15:51 GMT, Ludovic Henry <luhenry at openjdk.org> wrote: > Let me just add a quick example of how we plan to use it. Ok, thanks for the explanation. ------------- PR: https://git.openjdk.java.net/jdk/pull/4549