Changes to reflect changes to the DOMjudge API