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

This reverts commit fbf1a9885a8c0ff62aa7e25f1f7b5c1ed31f2c76.