public void flush(StubIndexKey key) throws StorageException {
   final MyIndex<?> index = myIndices.get(key);
   index.flush();
 }