docs: String getIndexRoots() {
  
          String       roots = StringUtil.getList(getIndexRootsArray(), " ", "");
          StringBuffer s     = new StringBuffer(roots);
  
  /*
          s.append(' ');
          s.append(identitySequence.peek());
  */
          return s.toString();
      }