Use ThreadLocalRandom as random number generator.