On 6/26/19 10:20 AM, Langer, Christoph wrote: > I eyeballed it and could not discover any mistakes. So, good to go from my end. Thanks. I forgot to put jdk11u-fix-request on it, fixed now! -Aleksey