docs: public void setProbability(double newProbability) {
  		double oldProbability = probability;
  		probability = newProbability;
  		boolean oldProbabilityESet = probabilityESet;
  		probabilityESet = true;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, BpsimPackage.BINOMIAL_DISTRIBUTION_TYPE__PROBABILITY, oldProbability, probability, !oldProbabilityESet));
  	}