I wonder if this is a JDK 9 problem? I can’t reproduce any of these failures running locally, but I’m also seeing different numbers generated from the reported seeds.
Alan Woodward www.flax.co.uk > On 22 May 2016, at 17:03, Policeman Jenkins Server <jenk...@thetaphi.de> > wrote: > > 315EB2DEC3A305B2:1066D9B0EBEB5CFF
