@Override
 public int[] keys(int[] array) {
   synchronized (mutex) {
     return m.keys(array);
   }
 }
 @Override
 public int[] keys() {
   synchronized (mutex) {
     return m.keys();
   }
 }