GERONIMODEVTOOLS-795: Another take. Tell the server which ports to use (via system properties) instead of updating config-substitutions.properties file