current version of indexer.java; (I realized the copy in github has locking issues)