DOMjudge versions 3.0.4 and 3.1.1 released