sS windowsLineBreaks(S s) {
  ret s == null ? null : s.replaceAll("(?<!\r)\n", "\r\n");
}