Change rmi server hostname

2 jobs for dev in 2 minutes and 51 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Windows
passed masterJobWindows #357308
Windows10

00:01:52

 
  Linux
passed BranchJobLinux #357309

00:00:59