code: public final List<String> getKeyList() {
          final List<String> keys = new ArrayList<>();
          final Iterator<String> it = keyIterator();
          while (it.hasNext()) {
              keys.add(it.next());
          }
          return keys;
      }
docs: Returns a list of all known keys including the deleted ones.
  
  @return List of keys.