/**
* Cancels the execution of the worker. Note, if the worker is already
* running, this method may, but doesn't have to, interrupt it in
* the middle of the work.
*/
void cancelWorker(AlignCalcWorkerI worker);
/**
* Cancels the execution of the worker. Note, if the worker is already
* running, this method may, but doesn't have to, interrupt it in
* the middle of the work.
*/
void cancelWorker(AlignCalcWorkerI worker);