Removed usage of Java 7 class ThreadLocalRandom.