52535455565758
public TextFileList asTextFileList() { List<TextFile> result = new ArrayList<TextFile>(); for (ClosedFile entry : list) { result.add(entry.asTextFile()); } return new TextFileList(result, stateListBuilder); }