Delete org.eclipse.php.core.projectOptions.prefs