Yes, your change was correct. I have no clue why the port is hard-coded there. It was hard-coded when I fix the compilation error. I might be a very old bug that I've created. I am sorry for that.
I found that a hard coded server port was being used for the mitosis
replication port. I just switched it so we would use the
configuration's serverPort instead here:
Can you confirm that this was the correct thing to do?