Replace use of the deprecated Duration.fracSec with Duration.split.
Merge pull request #848 from jmdavis/semaphore

Replace use of the deprecated Duration.fracSec with Duration.split.