On Wed, 12 Jun 2024 10:56:07 GMT, Daniel Fuchs <dfu...@openjdk.org> wrote:
> If you believe it's important enough I believe we could write both on > System.out and System.err, but I specifically wanted it on System.out. The current way you have it is fine. I didn't know the use of `System.out` was intentional. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19663#discussion_r1636298645