play1 framework - now using ThreadLocalRandom for RNG

Now using ThreadLocalRandom for the random number generation. See:[TechEmpower/FrameworkBenchmarks#1152](https://github.com/TechEmpower/FrameworkBenchmarks/issues/1152)