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

git-svn-id: https://svn.apache.org/repos/asf/geronimo/devtools/eclipse-plugin/trunk@1460849 13f79535-47bb-0310-9956-ffa450edef68