java: public void addFile(String file) {checkFileNames(Collections.singleton(file));setFiles.add(namedForThisSegment(file));}
C#: public void AddFile(string file){CheckFileNames(new[] { file });setFiles.Add(file);}