Sorry, have written it to that mailing list now as well: https://mail.openjdk.java.net/pipermail/core-libs-dev/2020-December/072798.html > Please take this to the core-libs-dev mailing list, the discuss list is > not for these kinds of technical discussions. > > Thanks, > David