J.C. Penney Ex-CEO Ron Johnson Didn’t Get Severance Pay