docs: public void setSeed(long newSeed) {
  		long oldSeed = seed;
  		seed = newSeed;
  		boolean oldSeedESet = seedESet;
  		seedESet = true;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, BpsimPackage.SCENARIO_PARAMETERS__SEED, oldSeed, seed, !oldSeedESet));
  	}