> doing a bit of digging it appears a similar improvement - along with a
> lot of other things - was suggested and filed a few years back:

> https://bugs.openjdk.java.net/browse/JDK-8029019

Really sorry for missing that! 

Reply via email to