Delete org.erlide.core.prefs