Thanks, Mike9241. I did not take a tax deduction for the loss (I took the standard deduction), so based on this it appears the settlement is tax-free and I don't have to report it.
Larry
