[Jtimer-commits] 01/01: Fixes #1338 (for this release but won't work with snapshot)