The DOJ has appealed the judge's ruling.