Revert unintended changes to org.eclipse.jdt.core.prefs