Revert "Delete org.eclipse.jdt.core.prefs"

This reverts commit e5d065796dda4d06ab5b63276020d6956c208d71.