docs: public void clear(Collection keys) {
  		synchronized (mirror) {
  			synchronized (data) {
  				Iterator i = keys.iterator();
  				while (i.hasNext()) {
  					Object key = i.next();
  					data.remove(key);
  					mirror.remove(key);
  				}
  			}
  		}
  	}