So, do they use that officer's unpaid vacation time that he cashed in during his last year when calculating his pension? The article seems to imply that, but d

So, do they use that officer's unpaid vacation time that he cashed in during his last year when calculating his pension? The article seems to imply that, but does not say it directly.