LUCENE-3412: merge from trunk (SloppyPhraseScorer was returning non-deterministic results for queries with many repeats)