Lawsuit proceeds includible in income