public void clear() {
   synchronized (mutex) {
     m.clear();
   }
 }