BigInteger: setRandomGenerator has been removed