private static int[] RandomSortedPageIds(int maxPagesInMemory) { MutableIntSet setIds = new IntHashSet(); ThreadLocalRandom rng = ThreadLocalRandom.current(); for (int i = 0; i < maxPagesInMemory; i++) { setIds.add(rng.Next(maxPagesInMemory * 7)); } int[] pageIds = new int[setIds.size()]; IntIterator itr = setIds.intIterator(); int i = 0; while (itr.hasNext()) { pageIds[i] = itr.next(); i++; } Arrays.sort(pageIds); return(pageIds); }