Have a judgement, how to get it on credit report

[Josh Sterling]

I have a judgement from a former tenant for $1700. I didn't think I would ever see any of it so I tried to work out a deal that if he paid me $100/month for 10 months I would accept $1,000 as payment in full.
Well believe it or not, he actually paid for 8 months in a row, then he just stopped. I can't believe someone would put all that money into a settlement and then just stop without paying the last $200.
Anyways, our written agreement said that if he didn't complete payments on the settlement as agreed, then the settlement would become void and we would seek the full judgement minus the amount paid.

So, since he will not be paying the last $200, at least I want to get the satisfaction of making this show up on his credit report.
How do I go about getting this to happen? Is it automatic when a judgement is awarded or do I have to notify the credit bureaus?