code: public void export_server(Database database, DbDevExportInfo[] devExportInfos)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Convert data from DbDevInfos to a string array
          //----------------------------------------------
          String[] array;
          array = new String[6 * devExportInfos.length];
          for (int i = 0 ; i<devExportInfos.length ; i++) {
              String[] one = devExportInfos[i].toStringArray();
              System.arraycopy(one, 0, array, 6 * i, 6);
          }
  
          //	Send command
          //-----------------------
          DeviceData argIn = new DeviceData();
          argIn.insert(array);
          command_inout(database, "DbExportServer", argIn);
      }
docs: ==========================================================================