How does jury duty affect employees who work night shifts?

Employees working night shifts who are summoned for jury duty receive civil leave as follows:

Civil leave is granted for the shift immediately before the first day of jury service.
After the first day, if jury duty lasts more than three (3) hours, civil leave is granted for the employee’s next scheduled work period if it occurs within 24 hours of jury service.
If jury duty lasts less than three (3) hours, that time is coded as civil leave (if during normal working hours), and the employee must report to work or use compensatory or annual leave for their next shift.
If there’s a question about whether a shift qualifies, the trial judge of the court determines the final decision.