TCP port for judge should be 8723
Merge pull request #1 from fayimora/patch-1

TCP port for judge should be 8723