341342343344345346347
int[] result = new int[msg.getK()]; int n = msg.getPopulation(); for (int i = 0; i < msg.getK(); i++) { result[i] = i + random.nextInt(n--); } broadcast(new RandSampleMessage(msg.getGameId(), msg.getName(), msg.getPopulation(), result)); }