The lesson of the story would certainly be that you should never give up in case you find yourself in a similar situation - because even locked wallets have a chance to be unlocked in the future as technology advances.
So he (the owner) kept the wallet (which was locked) and did not delete it, as if he would have deleted it, and then reinstalled it, he has to two option, create a new wallet or import the previous one, and I assume he might not have the seed phrase to the wallet as well. Please correct me if I am understanding it right as I don't know how a roboform password generator works. I assume it generate the wallet password that we usual use to encrypt our wallet.
First we make wallet and get a seed phrase, he might not have it? And keep the wallet unlocked and when the hackers (whitehat) reverse engineered the roboform they get the password not the seed phrase right? If its the case then the owner was smart enough, I am glad he get his funds back. And yeah it really give us hope that we should never give up.