if (end != (mv.length-1))
if (end != (mv.length-1)) { if (Debug.debug) Debug.print(Debug.VERBOSE, "System.arraycopy({0..."+mv.length+"},0,{0..."+lv.length+"},"+(mv.length-start)+","+(end+1)+");");
   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;   }