pw.println(value.substring(0, last));
b = target.getBytes("UTF-8"); if (b.length < 73) { out.write(b); break; }   n = 72; while (true) { b = target.substring(0, n).getBytes("UTF-8"); if (b.length < 73) break;  n--; if (n < 1) throw new IOException("Header is unbreakable and longer than 72 bytes"); }  out.write(b); out.write(CRLF); target = " " + target.substring(n);
  private static void write_header(String name, String value, PrintWriter pw)  {		pw.print(name + ": ");		int last = 68 - name.length();    if (last > value.length())      {			pw.println(value);      }    else      {			pw.println(value.substring(0, last));		}    while (last < value.length())      {			pw.print(" ");			int end = (last + 69);	if (end > value.length())	  {				pw.println(value.substring(last));	  }	else	  {				pw.println(value.substring(last, end));			}			last = end;		}	}