/** * Get the next temporary file name part (the part in the middle). * * @param newRandom if the random part of the filename should change * @return the file name part */ protected static synchronized String getNextTempFileNamePart(boolean newRandom) { if (newRandom || tempRandom == null) { tempRandom = MathUtils.randomInt(Integer.MAX_VALUE) + "."; } return tempRandom + tempSequence++; }
int p = low + MathUtils.randomInt(high - low); X pivot = array[p]; int m = (low + high) >>> 1;
dirCounter = MathUtils.randomInt(lobsPerDir - 1) * lobsPerDir; } else {