Fix #3405 Fix incorrect reuse of code mining annotations with mismatched types#3416

tobiasmelcher merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

travkin79:feature/patch-3405-code-miningstravkin79/eclipse.platform.ui:feature/patch-3405-code-miningsCopy head branch name to clipboard