/** * This method sets the seed of the global random generator which can be obtained using the static * getRandom()-method. * * @param seed the seed to configure the global random generator */ public void setSeed(long seed) { checkRunning(); this.seed = seed; randomGen.setSeed(seed); }