code: public void rename_server(Database database, String srcServerName, String newServerName) throws DevFailed {
  
          if (!database.isAccess_checked()) checkAccess(database);
  
          DeviceData argIn = new DeviceData();
          argIn.insert(new String[]{srcServerName, newServerName});
          command_inout(database, "DbRenameServer", argIn);
      }
docs: ==========================================================================