Параметр сохранения файла в Eclipse неактивен.

Я использую Eclipse 3.7 в Ubuntu. Часто после редактирования файла я не могу его сохранить - параметр «сохранить» в меню неактивен, а Ctrl + s , кажется, ничего не делает, даже если файл только что был изменен, и редактор отображает звездочку перед именем файла в заголовке вкладки.

Смена активной вкладки на другой файл с последующим возвратом к первому файлу «разблокирует» опцию сохранения, которую я затем могу выбрать.

Что вызывает такое поведение и как его исправить?