/**
* Read the contents of this index from the given input stream.
*
* @param input the input stream from which this index will be read
* @return {@code true} if the file was correctly read
* @throws IOException if the index could not be read from the given input stream
*/
private boolean readIndex(ObjectInputStream input) throws IOException {
IndexReader reader = indexStore.createIndexReader();
return reader.readIndex(input);
}
