Correction appended below

When it comes to retirement, federal judges have a pretty good deal.