Ensuring mongo.port is an integer, as it's a string when set via Java system properties