Link to correct page for developer info since version 4.0.
DOMjudge 4.0.0 released.