WStringSeqHolder h = new WStringSeqHolder(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)  {    WStringSeqHolder h = new WStringSeqHolder(value);    h._write(output);  }