Shouldn't have these to_java calls, I think.
Don't disable manual index searching