375376377378379380381382383384385
while(left<=right) { mid = (right-left)/2 + left; midFile = getCachedFileAtRow(mid); if(midFile.equals(file)) return mid; if(fc.compare(file, midFile)<0) right = mid-1; else left = mid+1; }