Fix search result consistency in PositionTracker#3802

iloveeclipse merged 2 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:fix-position-tracker-corruptionvogella/eclipse.platform.ui:fix-position-tracker-corruptionCopy head branch name to clipboard