if (paginationWorker != null)
{
// 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
{
synchronized (paginationWorker)
{
paginationWorker.wait(500);
}
}
catch (InterruptedException e)
{
// Got interrupted while waiting ...