// wrapping for synchronization @Override public int size() { return backing.size(); }
@Override public int size() { check(); return map.size(); }