/**
  * Sets an int element of the record data array.
  *
  * @param string $key key of the element to set (must be non-empty)
  * @param int $value the value that will be written into the element
  *
  * @return void
  */
 public function setRecordPropertyInteger($key, $value)
 {
     parent::setRecordPropertyInteger($key, $value);
 }