On 28/08/2019 16:21, Severin Gehwolf wrote: > > Nick, this is a duplicate of 8229182. See some findings here: > http://mail.openjdk.java.net/pipermail/hotspot-dev/2019-August/039246.html > > I've added a comment on the bug as well. > Yes, sorry I missed that one! Thanks, Nick