TCP port for judge should be 8723

As above