I updated the test to use RandomFactory: http://cr.openjdk.java.net/~bpb/8215759/webrev.01/
Thanks, Brian > On Dec 21, 2018, at 8:22 AM, Brian Burkhalter <[email protected]> > wrote: > > Probably you are correct however about the randomness. It should be changed > to use RandomFactory.
