code: public void setSFExtHi(Integer newSFExtHi) {
  		Integer oldSFExtHi = sfExtHi;
  		sfExtHi = newSFExtHi;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, AfplibPackage.OBJECT_STRUCTURED_FIELD_EXTENT__SF_EXT_HI, oldSFExtHi, sfExtHi));
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated