Judges should have a randomly generated ID (and set that ID as the Docker hostname so the name appears in DOMjudge), not a sequential one.