public void clear() { keys.clear(); super.clear(); }
public void clear(int maximumCapacity) { keys.clear(); super.clear(maximumCapacity); }