I am a police officers in dallas texas my pension was changed by the texas house and if I wanted to get back into my pension I had to repay 45,344.00. I took the money out of my 401k and put it into the dallas police and fire pension. do I have to claim that 45344,00 as income.