issue from mails: miguel found that the "longest jump" display is incorrect on repeated search

[Former user]

If a search is repeate with a lower maximum rang,e then the longest jump on top will still display the old range

[Peter Petermann]

longestJump value was not reset before new result, fixed now.