src = randomInt(pool.length); dest = randomInt(pool.length);
src = this.randomInt(pool.length); dest = this.randomInt(pool.length);
        void shufflePool() {            int temp, src, dest;                        // alakazam!            for (int i = 0; i < NUM_SHUFFLES; i++) {                src = randomInt(pool.length);                dest = randomInt(pool.length);                                temp = pool[src];                pool[src] = pool[dest];                pool[dest] = temp;            }                        // reset index            index = 0;        }