On Fri, 5 Jan 2024 08:22:23 GMT, Emanuel Peter <epeter at openjdk.org> wrote: > Please do the renaming, and then I can run testing and give you my approval. Updated. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17190#issuecomment-1878329186