/guava/guava/src/com/google/common/collect/TopKSelector.java
buffer[right] = buffer[right] ;
buffer[right] = buffer[pivotNewIndex];
for (int i = left; i < right; i++) { if (comparator.compare(uncheckedCastNullableTToT(buffer[i]), pivotValue) < 0) { swap(pivotNewIndex, i); pivotNewIndex++; } } <extra_id_0> buffer[pivotNewIndex] = pivotValue; return pivotNewIndex; } private void swap(int i, int j) { T tmp = buffer[i]; buffer[i] = buffer[j];