[Jtimer-build] Build failed in Jenkins: jtimer-ci #15-origin/develop