Just to let you know that for any of you who upgrade to macOS 13 (Ventura), Greenfoot has been reported to crash on load. We've just released a 3.7.1a hotfix for this on our download page. A new version of Greenfoot (3.8.0, I guess) will follow some time in the next few months with support for Java 17 and all the new Java 17 language features.