/** * Either return a the default random generator if it has already been created; or created it with the given seed if it has not been created. * @param seed the seed to use * @return the default random generator */ public static Random getOrSeedDefault(long seed){ return factory.ingetOrSeedDefault(seed); }