Handle zero-width characters properly in code minings#3721

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

tobiasmelcher:code_minings_zwsptobiasmelcher/eclipse.platform.ui:code_minings_zwspCopy head branch name to clipboard