On the 40-hour work week for general district court judges

This wild story in the Daily Press says that the administrative powers that be have declared that general district court judges will be docked leave time when they work less than 40-hour weeks, and that one of them is so mad about this apparently absurd policy that he sought a temporary injunction against it.

Heck, I'd think that general district court judges ought to get a bonus for working LESS than 40 hour weeks - the dockets generally won't allow it, at least not in the local courts here in Southwest Virginia. Chief Justice Hassell isn't too likely to be thinking about Southwest Virginia if this new policy is his idea, but I'd like to know just where there is a problem with district court judges not working hard.