* @class Prime_Scheduler * * @brief Prime number scheduler for the Active Object. * * This class also plays the role of the Proxy and the Servant * in the Active Object pattern. Naturally, these roles could * be split apart from the Prime_Scheduler. */