Adding JDT prefs