On Thu, 31 Oct 2024 06:38:53 GMT, Johannes Bechberger <jbechberger at openjdk.org> wrote: >> Ugghh! > > Should I instead name it `non_java`? I renamed it. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20752#discussion_r1824194941