void main() {
    String typed = " the quick  brown fox";

    IO.println(Arrays.toString(typed.split(" ")));
    IO.println(Arrays.toString(typed.strip().split("\\s+")));
}

// From Groundwork, chapter 8 (ch08-strings-as-data), box 9.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch08_09.java