Delete org.eclipse.php.core.prefs