GVM1287W An error was encountered during the delete operation for option file: file name.
Explanation
An error was encountered during the delete operation. For example, this error might be caused by insufficient user permissions or the file no longer exists.
Administrator response
Make sure the option file was deleted. If it still exists, delete this file manually.