Is he going to cover the Federal Income taxes on this too ?
They need to see their tax professional (if they have one) and file IRS Form 982, Reduction of Tax Attributes Due to Discharge of Indebtedness. Use the box for Insolvency if that applies (it will in many cases).