Changed default server port from 9100 to 9500 (as is used on textan.ms.mff.cuni.cz server)