Preserve last code minings for non-reconciled viewers and clean up on viewer disposal#2697

tobiasmelcher wants to merge 1 commit intoeclipse-jdt:mastereclipse-jdt/eclipse.jdt.ui:masterfrom

tobiasmelcher:fix_2786tobiasmelcher/eclipse.jdt.ui:fix_2786Copy head branch name to clipboard