/** Returns an instance of a random number generator, which can be used * locally, e.g. in threads. * * @return pseudo random number generator */ public static Random getLocalInstance() { internalCounter++; Random r = new Random(lastUsedSeed + internalCounter*23l); prepareRNG(r); return r; }