/**
	 * Creates a file-set that can be used with this index as long as the caller holds a read-lock.
	 */
/**
	 * Creates a file-set that can be used with this index as long as the caller holds a read-lock.
	 */ | IIndex.java