Actually initialise the Random object in CodeManager