Upgrade jdt.core.prefs to Java 1.8