ReaderCommit

[Jason Rutherglen]

Is there a reason ReaderCommit in DirectoryIndexReader.getIndexCommit() does
not support delete?  Is is proper behavior to use SnapshotDeletionPolicy and
then keep the IndexCommit around?  What is the difference where the former
does not support delete?