Delete org.eclipse.core.resources.prefs

No longer needed