pub fn java_trim(s: &str) -> &str
Java String.trim(): strips leading/trailing chars <= U+0020.
String.trim()
<= U+0020