code: public ArrayList<Integer> getAllIndices() {
      ArrayList<Integer> res = new ArrayList<Integer>(this.realTSindex.size());
      res.addAll(this.realTSindex.keySet());
      Collections.sort(res);
      return res;
    }
docs: Get all indexes, sorted.
  
  @return all the indexes.