The change that didn't get committed last night with my other commit (Indexer.java),
and the reason last night's build failed.