eclipse-prefs: upgrade for eclipse kepler, rename