public void insert(int offset, double[] values, int valOffset, int len) {
   synchronized (mutex) {
     list.insert(offset, values, valOffset, len);
   }
 }
 public void insert(int offset, double[] values) {
   synchronized (mutex) {
     list.insert(offset, values);
   }
 }