They might want to switch that to the UDP server ( dgram )
Networked games over TCP is not usually recommended: http://gafferongames.com/networking-for-game-programmers/udp...
UDP is supposed to be better for real-time games, but both Minecraft and World of Warcraft actually do great with TCP.
In which case, I wonder whether he (notch) is going to have trouble with the online performance. I've tried online play briefly and it didn't seem bad, I guess it isn't really twitch based.
[1]: Datagram Congestion Control Protocol: http://read.cs.ucla.edu/dccp/