Index: IndexSelector.java =================================================================== RCS file: /data/cvs/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/IndexSelector.java,v retrieving revision 1.19 diff -u -r1.19 IndexSelector.java --- IndexSelector.java 20 Mar 2003 16:44:16 -0000 1.19 +++ IndexSelector.java 21 Mar 2003 17:17:13 -0000 @@ -157,9 +157,14 @@ // acquire the in-memory indexes on the fly int length = this.indexKeys.length; IIndex[] indexes = new IIndex[length]; + int count = 0; for (int i = 0; i < length; i++){ // may trigger some index recreation work - indexes[i] = indexManager.getIndex(indexKeys[i], true /*reuse index file*/, false /*do not create if none*/); + IIndex index = indexManager.getIndex(indexKeys[i], true /*reuse index file*/, false /*do not create if none*/); + if (index != null) indexes[count++] = index; // only consider indexes which are ready yet + } + if (count != length) { + System.arraycopy(indexes, 0, indexes=new IIndex[count], 0, count); } return indexes; }