LUCENE-8034 patch

[Hari Shankar]

Hello commiters,

Would someone be able to take a look at LUCENE-8034? It is a very small
patch (just 2 files). If it looks good, I would like to get it merged
before it slips off my mind.

Thanks,
Hari