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

This reverts commit 38d58202d77c21a49baf398e965c6b392bddfc81.