Я только что протестировал эту программу, которая прекрасно работает и дает ожидаемый результат (в Windows).
Так что проблема не в коде, это, вероятно, проблема с правами доступа?
Но, как сказано в комментариях, если вы просто предполагаете, что ваша строка будет найдена в вашем файле только как "Student ID", это может (и будет) приводить к ошибкам.
Правильный способ сделать это - прочитать содержимое файла, превратить его в список учеников (класс с идентификатором ученика в качестве поля и другие поля, если хотите), удалить один со студентом Если вы не хотите, затем сохраните файл снова с оставшимся списком, сериализованным в ваш конкретный формат.