*** lucene-2.2.0/src/java/org/apache/lucene/index/IndexReader.java	2007-06-16 22:20:35.000000000 -0700
--- src/org/apache/lucene/index/IndexReader.java	2007-10-25 14:55:05.000000000 -0700
***************
*** 459,468 ****
--- 459,470 ----
     */
    //When we convert to JDK 1.5 make this Set<String>
    public abstract Document document(int n, FieldSelector fieldSelector) throws CorruptIndexException, IOException;
    
    
+   /* +MK for speed */
+   public abstract Document[] documents(int[] n, FieldSelector fieldSelector) throws CorruptIndexException, IOException;
  
    /** Returns true if document <i>n</i> has been deleted */
    public abstract boolean isDeleted(int n);
  
    /** Returns true if any documents have been deleted */