Dann mal einen weiteren positiven Eintrag:
Patch über GetIt geladen und nach Anweisungen installiert. Ohne Fehler, ohne Probleme.
IDE hat sich selbstständig beendet und wieder neu gestartet.
Dem kann ich mich anschließen. Hat bei mir über GetIt super geklappt.