is judgement of divorce same as divorce decree