public int size() {
   return map.size();
 }
 public int size() {
   synchronized (sync) {
     return map.size();
   }
 }