code: public List<String> getDevicePipeList(Database database, String deviceName, String wildcard) throws DevFailed {
          DeviceData argIn = new DeviceData();
          argIn.insert(new String[]{deviceName, wildcard});
          DeviceData argOut = database.command_inout("DbGetDevicePipeList", argIn);
          //System.out.println("database.command_inout(\"DbGetDevicePipeList\", argIn)");
  
          String[] array = argOut.extractStringArray();
          ArrayList<String> list = new ArrayList<String>();
          Collections.addAll(list, array);
          return list;
      }
docs: ===================================================================