Looks good. +1 -- Kevin On 8/12/2019 8:43 AM, Johan Vos wrote: > Hi Kevin, > > Please review https://bugs.openjdk.java.net/browse/JDK-8229418 which bumps > the version in the 11-dev tree. > > Thanks, > > - Johan