Unless you can show us a source, we don't even know if he actually still uses it; all we know that the issue was fixed. It's probably a safe assumption that he immediately withdrew the coins after getting a feel of the shadiness of that wallet.