[cleanup] Restore the jdt prefs.