I guess I forgot. So what's the equivalent of something that should not ever happen unless there is a bug in Hibernate Search.