if (count.compareTo(period_barrier) == 0) {
count = BigInteger.ZERO;
controlledPRNG.setSeed(System.currentTimeMillis()); // FIXME
if (seedGenerator == null) {
throw new RandomNumberGeneratorException(
"Period of a PRNG used exhausted. You should either use more than one PRNG or use a PRNG with a longer period!");
}
}
}