EJB implementation of the jBPM scheduler (=timer) service.