public float[] keys(float[] array) {
   synchronized (mutex) {
     return m.keys(array);
   }
 }
 public float[] keys() {
   synchronized (mutex) {
     return m.keys();
   }
 }