A timer master can assign scheduled jobs to other application servers of a
cluster. Leases for the timer master can be started in a lease table. The
timer master can store job info for the scheduled jobs in a database. In
case of a crash of the application server, another application server of
the cluster can be assigned the time master and use the job information
to assign scheduled jobs.