/guava/android/guava/src/com/google/common/collect/TopKSelector.java
if ( pivotNewIndex > ( k) ) {   right = pivotNewIndex - 1; }else   if ( pivotNewIndex < ( k) ) {     left = max( pivotNewIndex, ( left + 1) ) ;     minThresholdPosition = pivotNewIndex;   }else {     break;   }
[Delete]
int maxIterations = IntMath.log2(right - left, RoundingMode.CEILING) * 3; while (left < right) { int pivotIndex = (left + right + 1) >>> 1; int pivotNewIndex = partition(left, right, pivotIndex); if (pivotNewIndex > k) { right = pivotNewIndex - 1; <extra_id_0> left = Math.max(pivotNewIndex, left + 1); minThresholdPosition = pivotNewIndex; } else { break; } iterations++;