public SourceBuffer(string name, ICollection contents) { this.name = name; this.contents = new string [contents.Count]; contents.CopyTo (this.contents, 0); }