Delete org.eclipse.ui.texteditor.prefs