static void httpPrintln(PrintWriter w, S s) {
  w.print(s + "\r\n");
}