docs: public void setK(double newK) {
  		double oldK = k;
  		k = newK;
  		boolean oldKESet = kESet;
  		kESet = true;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, BpsimPackage.ERLANG_DISTRIBUTION_TYPE__K, oldK, k, !oldKESet));
  	}