<div dir="ltr">If you create a new random generator with 'Random seed: 1234' it first creates an instance and initializes it with a seed derived from the clock, and then initializes it again with the provided seed.<div><br></div><div>This changeset changes the way random generators are instantiated so that initialization happens in only one place and only once.</div></div>