:lol: Danke, :lol:
die Einstellung hatte ich schon die ganze Zeit. Vielleicht hat jemand das Applett geändert. Jedenfalls ist das Problem (das ich voher zwei Wochen lang hatte) spurlos verschwunden. Keine Ahnung wohin.
Trotzdem, falls der Fehler wieder auftritt, wäre ich für die Zukunft daran interessiert, ob es eine Tastenkombination o.ä. zum Beenden des JRE gibt.