It seems something has gone haywire with one or more of our Jenkins build tasks on build.squeak.org (aka box3.squeak.org, 173.246.101.237) resulting in the system being unresponsive now for some hours. When it is convenient for you could you please reboot that system? Thanks, Ken