On Tue, 16 Aug 2022 13:57:10 GMT, Christoph Langer <clanger at openjdk.org> wrote: > OK, I think using stderr is a good vote then. Thank you @RealCLanger ! ------------- PR: https://git.openjdk.org/jdk/pull/9874