Editing: RandomGeneratorFactory.php