StringSeqHolder h = new StringSeqHolder(value); h._write(output);
output.write_long(value.length);  for (int i = 0; i < value.length; i++) output.write_wstring(value [ i ]);
  public static void write(OutputStream output, String[] value)  {    StringSeqHolder h = new StringSeqHolder(value);    h._write(output);  }