Eclipse-Prefs changed