On Thu, 31 Oct 2024 02:54:22 GMT, David Holmes <dholmes at openjdk.org> wrote: >> This is the same name the other sampler uses. > > Ugghh! Should I instead name it `non_java`? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20752#discussion_r1823829385