On Thu, 18 Apr 2024 11:49:32 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote: > Hi, > > Revert the rename performed in 8324683. > > Thanks. Looks good! ------------- Marked as reviewed by coleenp (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/18836#pullrequestreview-2009737402