code: public void setPageNum(Integer newPageNum) {
  		Integer oldPageNum = pageNum;
  		pageNum = newPageNum;
  		if (eNotificationRequired())
  			eNotify(new ENotificationImpl(this, Notification.SET, AfplibPackage.MEDIUM_MAP_PAGE_NUMBER__PAGE_NUM, oldPageNum, pageNum));
  	}
docs: <!-- begin-user-doc -->
  <!-- end-user-doc -->
  @generated