On Wed, 25 Aug 2021 11:20:16 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Thanks Christian! Do you agree that this is trivial? Yes, absolutely! Forgot to mention it. ------------- PR: https://git.openjdk.java.net/jdk/pull/5248