Delete org.eclipse.php.server.core.prefs