thread_pool = SharedThreadPool.INSTANCE;
}
InetAddress server_address = setup.getServerAddress();
Integer server_port = setup.getServerPort();
AuthenticationHandler auth_handler = setup.getAuthHandler();
String vmid_hint = setup.getVMIDHint();
if ( vmid_hint == null ) {
if ( server_address != null ) vmid_hint = server_address.getHostAddress();
else {
try {