eclipse pref java 1.7