modify eclipse prefs file.