Eclipse «автосохранение перед сборкой» не работает?

Я использую Eclipse Helios в CentOS 5.6, и (возможно) после (или, возможно, из-за?) Загрузки плагина для Jetty среда IDE прекратила автосохранение перед сборкой. Соответствующая опция в

Window --> Preferences --> Workspace --> Save automatically before build

включена, и я испробовал все возможные комбинации отключения и сброса, а также перезапуска приложения.

Есть ли способ "вручную" изменить эту опцию в конфигурационном файле?

Спасибо!