string String.trim_all_whites(string s)
Trim leading and trailing white spaces characters (space, tab, newline and carriage return) from the string s .