Don't insert commas into the logged RMI port number