compatibility layer for ThreadLocalRandom

ThreadLocalRandom was introduced in java7 so we cannot use it just yet.
The new class TLR does almost the same.