[tor-commits] [collector/release] Fix minor JavaDoc issue.