if (full > MIN_PAGE_COUNT && isUsed(full)) { synchronized (this) { firstFree = getFirstFree(firstFree); if (firstFree == -1 || firstFree >= full) { j = maxMove; continue; temp = getFirstFree(temp); if (temp == -1) { DbException.throwInternalError("no free page for defrag");
if (full > MIN_PAGE_COUNT && isUsed(full)) { synchronized (this) { firstFree = getFirstFree(firstFree); if (firstFree == -1 || firstFree >= full) { j = maxMove; continue; temp = getFirstFree(temp); if (temp == -1) { DbException.throwInternalError("no free page for defrag");
if (full > MIN_PAGE_COUNT && isUsed(full)) { synchronized (this) { firstFree = getFirstFree(firstFree); if (firstFree == -1 || firstFree >= full) { j = maxMove; continue; temp = getFirstFree(temp); if (temp == -1) { DbException.throwInternalError("no free page for defrag");