jenkinsci/jenkins — pull request #987 by recampbell (2013-10-27 02:55:28+00:00)
Title: DO NOT MERGE - FOR DISCUSSION: [FIXES JENKINS-19622] Introduce jenkins.timer.Timer extension point

[FIXES JENKINS-19622] Introduce jenkins.timer.Timer extension point to provide plugability of the timer in Jenkins.

This provides a way for users to control migration from the old
java.util.Timer to the new ScheduledExecutorService in order to fix JENKINS-19622.