API change proposal: String concatenation boost

[Ulf Zibis]

Hi Jesús

this is a very interesting proposal.

Some days ago I had a similar case. I had to instantiate a String from 
some single char's:
   int count;
   String s = new String (new char[] {'I','d', ' ', (char)count});
My proposal is to modify constructor String(char[] chars) to 
String(char... chars), so we can code:
  String s = new String ('I','d', ' ', (char)count);

... just my 2 cent.

-Ulf