docs: public List<V> values() {
      final Collection<Entry<V>> values = map.values();
      // Note below that e.value avoids updating the access time
      final List<V> res = values.stream().map(e -> e.value).collect(Collectors.toList());
      return Collections.unmodifiableList(res);
    }