Might be worth using unique file names in each testcase -- since they're all sharing the same FileIndexManager, that will help detect cases where stale state from the previous test gets erroneously returned.