Delete org.eclipse.dltk.ui.prefs