On 12/19/18 9:19 AM, Andrew Dinn wrote: > Andrew, if you are ok with this tweak I will push the patch to the JDK > dev repo. Sure. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671