My understanding is there is a difference between dropping and dismissal. Prosecutors drop. Judges dismiss.
Screw that judge.
I agree Judge Sullivan should have taken action on this, but DOJ stepped up and did the right thing.