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