server.setName(configuration.getProfileName()); server.setHttpPort(httpPort()); server.setRmiPort(rmiPort()); server.setHost(configuration.getBindAddress()); server.setHasWebServer(!configuration.isUseRmiPortForAliveCheck());
server.setName(configuration.getProfileName()); server.setHttpPort(httpPort()); server.setRmiPort(rmiPort()); server.setHost(configuration.getBindAddress()); server.setHasWebServer(!configuration.isUseRmiPortForAliveCheck());