sS simpleSpaces_noTok(S s) {
  ret s == null ? null : s.replaceAll("\\s+", " ");
}