get rid of the "undefined" warning when generating $worker->toString
renamed total_workers_required -> total_extra_workers_required to minimize confusion
bugfix: be more conservative in rebalancing semaphore counters - Thanks to Irina for reporting
Pulling in the bugfix to rebalance semaphores more conservatively
Pulling in the bugfix to rebalance semaphores more conservatively