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