void main() {
    ArrayList<Integer> scores = new ArrayList<>(List.of(88, 92, 79));
    ArrayList<Integer> ordered = new ArrayList<>(scores);
    Collections.sort(ordered);
    IO.println(ordered + " " + scores);

    int[] times = {42, 17, 30};
    Arrays.sort(times);
    IO.println(Arrays.toString(times));
}

// From Groundwork, chapter 7 (ch07-arrays-and-lists), box 18.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch07_18.java
