docs: public void setVendor(String newVendor) {
  		String oldVendor = vendor;
  		vendor = newVendor;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, BpsimPackage.SCENARIO__VENDOR, oldVendor, vendor));
  	}