[Jtimer-commits] 11/75: removed a useless comment