#955: Maven indexer thread should die when run is complete.