After you file

Yes.  The tax withheld was part of the distribution and is taxable income reguardless of what you did with it.

**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**