private static Integer getDefaultServerPort() {
    return Integer.getInteger(AbstractCacheServer.TEST_OVERRIDE_DEFAULT_PORT_PROPERTY,
        CacheServer.DEFAULT_PORT);
  }
Launches a Geode Server from the command-line configured with the given arguments.

@param args the command-line arguments used to configure the Geode Server at runtime.
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java