is this interface necessary ? Why not just expose the `getIndexManager` method in `JcrRepository` (similar to all the other "managers") ?