Delete org.eclipse.php.ui.prefs