Nobody has to report any debt to a credit agency. Most credit agencies pick up judgment debts on their own initiative.