jdt prefs updated