Hi, > I thought we already made up our minds on 8u212. The whole 8u211 thing > was a mistake of habit on my part. Ok, that's what I tought. So, @Andrew Haley: Please request openjdk8u212 from ops and have them set up both forests, 8u and 8u-dev, for it - if you haven't done so already. Thanks Christoph