deleted eclipse prefs