TCP port for judge should be 8723