Use Array.join() to build up strings in more places.
Merge pull request #4353 from nnethercote/more-Array-joins

Use Array.join() to build up strings in more places.