public int indexOf(int offset, double value) {
   synchronized (mutex) {
     return list.indexOf(offset, value);
   }
 }
 public int indexOf(double o) {
   synchronized (mutex) {
     return list.indexOf(o);
   }
 }