void main() {
    String version = "25.0.4";
    IO.println(Arrays.toString(version.split(".")));
    IO.println(Arrays.toString(version.split("\\.")));

    String entry = "Ada|88";
    IO.println(Arrays.toString(entry.split("\\|")));
}

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