server.setRmiPort(rmiPort()); server.setHost(configuration.getBindAddress()); server.setHasWebServer(!configuration.isUseRmiPortForAliveCheck());
server.setRmiPort(rmiPort()); server.setHost(configuration.getBindAddress()); server.setHasWebServer(!configuration.isUseRmiPortForAliveCheck());