long[] lv = new long[size];
Message[] lv = new Message[size]; if (Debug.debug) Debug.print(Debug.VERBOSE, "start: "+start+" end: "+end); if (Debug.debug) Debug.print(Debug.VERBOSE, "System.arraycopy({0..."+mv.length+"},"+start+",{0..."+lv.length+"},0,"+(mv.length-start)+");");
   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;   }