-25507: Error when shrinking file
Explanation:
An operating system-dependent text appears in the operating system error message, indicating the error that occurred. Reasons for the error may be that there is no file of this name or that the specified disk is write-protected, etc.
User Action:
Specify a different filename or correct the error at operating system level.