PR for dev_1.0

`RecordNotFoundException` is undefined in ../app/app_exception.php.