Delete org.eclipse.dltk.core.prefs