On Fri, 2018-08-31 at 13:42 +0200, John Paul Adrian Glaubitz wrote: > On 08/31/2018 01:40 PM, Magnus Ihse Bursie wrote: > > Yes, that looks reasonable! If you want to, you can push this + Klose's fix. > > Is there a bug in the JBS I can reference? https://bugs.openjdk.java.net/browse/JDK-8165440 Thanks, Severin