code: public void setRES3(Integer newRES3) {
  		Integer oldRES3 = res3;
  		res3 = newRES3;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, AfplibPackage.WINDOW_SPECIFICATION__RES3, oldRES3, res3));
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated