Thanks to Robert Coop's change 61ebdaf0c1c30426d314a1b5a5a4875edadae6b we can now use the NguyenWidrowRandomizer with a given seed. RangeRandomizer and NguyenWidrowRandomizer both work with the setSeed method, so the choice of the Randomizer doesn't depend any longer on whether or not a seed is given and can be unified in a private function.