internal void ExportStudents(string filename) { var lines = _gradebook.ExportStudents(); System.IO.File.WriteAllLines(filename, lines); }