title: Best way to convert numeric array to CSV string?
body: <p>If I have a <code>String[]</code> (assume no commas) I can produce a CSV row simply.  E.g.,</p>
  
  <pre><code>String[] header = {"header0", "header1", "header2"};
  String joined = String.join(",", header);
  </code></pre>
  
  <p>What's the nice way to do the equivalent with say <code>int[] vals01 = {0, 1, 2};</code>?  (I consider using <code>Arrays.toString</code> and slicing off the ends to be ugly.)</p>