code: public void add_server(Database database, String serverName, DbDevInfo[] devinfo)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Convert data from DbDevInfos to a string array
          //----------------------------------------------
          //System.out.println("creating " + serverName);
          String[] array;
          array = new String[1 + 2 * devinfo.length];
  
          array[0] = serverName;
          for (int i = 0 ; i<devinfo.length ; i++) {
              array[2 * i + 1] = devinfo[i].name;
              array[2 * i + 2] = devinfo[i]._class;
          }
  
          //	Send command
          //-----------------------
          DeviceData argIn = new DeviceData();
          argIn.insert(array);
          command_inout(database, "DbAddServer", argIn);
      }
docs: ==========================================================================