{
// make sure that old pagination handler does not run longer than
// necessary..
//noinspection SynchronizeOnNonFinalField
final Worker paginationWorker = this.paginationWorker;
paginationWorker.finish();
while (paginationWorker.isAvailable() == false &&
paginationWorker.isFinish() == false)
{
try