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

This reverts commit 45dff8cf96bf9d80fe26c1b18d4439271b87ae23.