void main() {
    String messy = "   Ada LOVELACE  ";
    String clean = messy.strip().toLowerCase();
    IO.println("[" + clean + "]");
}

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