Delete org.eclipse.ui.ide.prefs