Warum nicht einfach den Eintrag aus
Known IDE Packages
löschen/umbenennen?
Oder besser ... es gäbe auch hierfür ebenfalls ein
Disabled IDE Packages
.
Würde man diese Datei umbennenen/löschen, dann kommt dort der Eintrag rein und ein Zurückumbenennen, würde dieses nicht wieder automatisch reaktivieren.