cislave3 ran out of diskspace again. I managed to to delete some stuff manually, but it's only a matter of time until it'll happen again. Some things that could be approved:

• Limit the growth of /var/log/journal (see /etc/systemd/journald.conf)
• Move more things to /mnt, e.g. /home/jenkins/.gradle and the JDK installs