docs: public void setThreadIDs(String[] threadIDs) throws IllegalArgumentException {
          int[] threads = null;
          if (threadIDs != null) {
              threads = new int[threadIDs.length];
              try {
                  for (int i = 0; i < threads.length; i++) {
                      threads[i] = Integer.parseInt(threadIDs[i], 16);
                  }
              } catch (NumberFormatException ex) {
                  throw new IllegalArgumentException("Strings in the threadIDs array should be all in hexadecimal format");
              }
          }
          this.threadIDs = threads;
      }