docs: public WeakCounterKey[] getKeys() {
        WeakCounterKey[] keys = new WeakCounterKey[entries.length];
        for (int i = 0; i < keys.length; ++i) {
           keys[i] = entries[i].key;
        }
        return keys;
     }