}
   public long[] getKeys()   {      int size;      if (start < end) size = end-start-1;      else size = mv.length-(start-end);      long[] lv = new long[size];      System.arraycopy(mv,start,lv,0,mv.length-start);      if (end != (mv.length-1))          System.arraycopy(mv,0,lv,mv.length-start,end+1);      return lv;   }