How do I convert a collection of characters to a String?