ScorerDocQueue.AdjustTop Method

Should be called when the scorer at top changes doc() value. Still log(n) worst case, but it's at least twice as fast to

 { pq.top().change(); pq.adjustTop(); }

instead of

 { o = pq.pop(); o.change(); pq.push(o); }

public void AdjustTop();